コンピュータサイエンス

米国を表すグラフがあり、各ノードが状態を表し、各エッジが隣接する状態をリンクしている場合、リンクされている4つの状態のすべての可能な一意のグループを提供するグラフアルゴリズムがあります（状態の順序は重...

algorithms graphs 

2D平面でN個のポイントが与えられた場合、特定のポイントから開始し、開始ポイントからの距離で順序付けられたセットにポイントを含め始めます。すべてのポイントを含めた後、可能な凸包があるかどうかを確認し、こ...

computational-geometry convex-hull 

CNF SATでは、各句（AまたはBまたはCまたは...）に少なくとも1つの真のリテラルが含まれている必要があります。解決ルールは、反対のリテラルを1つだけ持つ句のペアに適用されます。（AまたはBまたはC）および（！AまたはD...

np-complete np satisfiability 

私は最近、いくつかの問題の動的プログラミングにおけるDPの定式化と空間最適化に焦点を当てています。私は、0-1 KnapsackやCoin Changeの問題などの標準的な質問をしました。スペース最適化の部分では、目的の結果を得るた...

algorithms optimization dynamic-programming 

私はこの漸近的な境界に出くわしました： $（\ log n）！= \ Theta \ left（n ^ {\ log \ log n} \ right）$ 次の発言があったもの： Hence, polynomially lower bounded but not upper bounded. ここで見つかりました： https://gateoverflow.in/12928/%24-log-and-l...

algorithms asymptotics 

私はhereを読みましたが、HoTTでは、コンパイラーは効率の低いデータ表現をより効率的なものに交換できるため、そのステートメントの解釈が正しいかどうか疑問に思っています。自然数を表すには、単項（ゼロと後続）と2...

optimization homotopy-type-theory 

この質問があります：無向グラフG（V、E）があります（V =頂点のセット、E =エッジのセット）。2つの頂点sとtの間の最大パスを考えます：LPATH = {⟨G,s,t,k⟩|There is in G a simple path as long as at least k from s to t} 単純なパスとは、頂...

complexity-theory np-complete reductions np-hard 

Given a sorted array of integers and a target integer, find the number of occurrences of the target integer. バイナリ検索は時間が複雑であることはよく知られています $ O（\ lg n）$ どこ $ n$ は配列のサイズです。たとえば、配列 $ [1,2,3,3,4,5] $ とタ...

algorithms complexity-theory sorting search-algorithms binary-search 

通常、私はコンテキストの前に質問を置きますが、この場合は認めたいと思いますコンテキストと私の理解が質問を無効にする可能性。さらに、それは私の質問を通して考えるのに役立ちます。最近Category Theory for Programmers (...

category-theory 

宿題のほんのわずかな部分しかわからない。 $ p（L）$ を、ある言語 $ L $ 。2つの通常の言語 $ A、B $ を見つけて、 $$p（AB）= p（A）+ p（B）$$ しかし、何をしようとしても、言語しか見つけることができないので、 $$p（AB）...

regular-languages pumping-lemma 

たとえば、L = {k：sqrt（2）のバイナリ展開にはkの連続する1が含まれている}と考えてください。明らかに、ライスの定理は機能しません。また、PCPがどうなるかを判断する方法も試しましたが、まだうまくいきませんでした...

undecidability 

the following interview questionに出会った There are 2N people a company is planning to interview. The cost of flying the i-th person to city A is costs[i][0], and the cost of flying the i-th person to city B is costs[i][1]. Return the minimum cost to fly every person to a city such tha...

algorithms greedy-algorithms 

私が解決しようとしている学生のプロジェクト割り当て問題は次のとおりです。 $ S $ の生徒と $ P $ のセットがあり、 $ | S |\ leq | P | $ 。各生徒は、優先プロジェクトの上位 $ 3 $ を作成します。各生徒は1つのプロジェクトに...

optimization dynamic-programming combinatorics linear-programming 

再帰の解決方法 $ T（n）= T（n / 2）+ T（n / 3）+ n $ ？私はこの種の再発にどう対処するか本当に知りません。...

complexity-theory time-complexity recurrence-relation recursion 

特定のプログラムの制御フローと呼び出しグラフを表すグラフがあるとします。また、最初と2番目のステートメントがあります。同じプログラムの実行内で両方のステートメントを（順番に）実行できるかどうかを考えた...

graphs static-analysis 

だから私はcoqを学んでいます。また、forall (a b c : nat)に加えて、結合性の証明にも出会いました。 見たところ、intros a b c. の後にinduction a. を実行すると、2つのサブゴールが作成されます その後、両方のサブゴールの2つの側...

proof-techniques induction proof-assistants automated-theorem-proving coq 

私の試験に次のような質問があります： Consider the following three processors (x, y, and z) that are all of varying areas. Assume that the single-thread performance of a core increases with the square root of its area. Processor X, core area = A Processor Y, core area = 4A Proce...

computer-architecture cpu performance 

隣接行列として表された有向グラフがあり、2つのノード $ u、v $ とパラメータ $ k $ 。また、グラフ内のノードの最大次数が $ d $ であるとします。 $ u $ ...

algorithms graphs 

2DにN（〜100M）ポイント、M（〜10k）の重複しない軸平行長方形があります。含まれている長方形に各ポイントを割り当てるアルゴリズムを探しています（または、長方形の外側にあると言います）。私はブルートフォースよ...

computational-geometry polygons 

みましょう-パラメータ $ M、N $ と $ L $ を使用- $ N $ -ビット長のサイズ $ M $ の順序付けられたセットを作成します $ V $ をベクトル化し、ランダムに初期化します： $ V_k [i] = b \ sim Bin（n = 1、p =0.5）\ \ forall i \ in\ {0 \ .. \ N-1 \}...

complexity-theory combinatorics binary computer-games xor