コンピュータサイエンス

コンピュータサイエンスの学生、研究者、実践者向けのQ&A


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

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


0
多項的に上限と下限とはどういう意味ですか
私はこの漸近的な境界に出くわしました: $(\ 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...
  

2
ホモトピー型理論を使用して、効率の低いデータ表現からより効率的なデータ表現でより効率的なアルゴリズムを導出できますか?
私はhereを読みましたが、HoTTでは、コンパイラーは効率の低いデータ表現をより効率的なものに交換できるため、そのステートメントの解釈が正しいかどうか疑問に思っています。自然数を表すには、単項(ゼロと後続)と2...
  



1
Bool-Andモノイドをカテゴリの観点から説明する
通常、私はコンテキストの前に質問を置きますが、この場合は認めたいと思いますコンテキストと私の理解が質問を無効にする可能性。さらに、それは私の質問を通して考えるのに役立ちます。最近Category Theory for Programmers (...
 

3
2つの言語の連結の最小ポンピング長
宿題のほんのわずかな部分しかわからない。 $ p(L)$ を、ある言語 $ L $ 。2つの通常の言語 $ A、B $ を見つけて、 $$p(AB)= p(A)+ p(B)$$ しかし、何をしようとしても、言語しか見つけることができないので、 $$p(AB)...
  


0
スリーシティスケジューリング
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...
  




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



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

1
「バイナリ切り替えゲーム」の理論はどこにありますか?
みましょう-パラメータ $ M、N $ と $ L $ を使用- $ N $ -ビット長のサイズ $ M $ の順序付けられたセットを作成します $ V $ をベクトル化し、ランダムに初期化します: $ V_k [i] = b \ sim Bin(n = 1、p =0.5)\ \ forall i \ in\ {0 \ .. \ N-1 \}...
     

Next page