computer-science

2熱

2答えて

この種の問題の名前があるかどうかはわかりませんが、解決策はそれほど多くないので、私ができることはできる限り最善の方法で記述しようとしています。 [5：その後、アレイ内の値に変更している [0、0、3、0] ：は考えIは、次の状態の配列を有します、0、0、0] のは、と新しい状態C古い状態を呼ぶことにしましょう。我々は、その2つの中間的な形を表す状態Bを見つけたいと思っています。私が実際に中間形

0熱

1答えて

JSONをデータ構造体に解析する

{ "nose": { "color": 1 }, "wing": { "span": 24.0, "weight": 3.2, "flex": 0.93, "flaps": false }, "tail": {}, "cabin": {}, "physics": {

1熱

1答えて

Curry-Howard同型のバグと同等のものは何ですか？

簡単に言えば、Curry-Howard correspondenceは、型が定理であり、この型を返すプログラムが対応する定理の証明であると述べています。対応は、直観主義計算などの数学的証明の形式化に基づいており、直観主義論理に拘束されています。しかし、数学的証明がそれらの形式言語で書かれているとき、それらの誤りはコンピュータによって検出することができる。たとえば、Mizarは比較的高水準の数学的

0熱

2答えて

javascript、配列のソート関数pop（）とpush（）の後ろのメカニック

javascriptのスキルを向上させるために取り組んでおり、pop（）とpush（）の背後にある機構を理解したいと考えています。私はMarijn HaverbekeのEloquent Javascriptの本を読んでいます。私は第4章Reversing Array exerciseに取り組んでいます。私はこの問題を解決することができました。しかし、私は興味深い奇妙な点を見つけました。私の最初のコ

0熱

1答えて

BCNFの違反をどのように指摘できますか？

今週中旬にデータベースがあり、BCNFの違反を特定することに問題があります。私は関係を分解する方法を知っていて、どちらが鍵であり、どれがスーパーキーであるかを知る。暗黙のうちにFDを書くこともできます。私は次のビデオを見ていた：https://www.youtube.com/watch?v=hTFyG5o8-EA。 R（A、B：次の関係（彼女は学生の例を使用していますが、私はそれを簡単にするために

3熱

1答えて

最長最短経路（あまり）

私の学士論文では、次の問題が発生しました（実際の問題の解決に役立つ可能性があります）。頂点がVであり、Vから2つの頂点、開始s、および宛先tの加重有向グラフGがあります。ほとんどのkの頂点を削除できます。頂点を見つけ出す必要があります。その頂点を削除すると、調整されたグラフの最短経路のコスト（長さ）がsからtに最大化されます。私は、この問題は文献の前に取り組まれていたはずですが、関連記事を見

1熱

2答えて

MyLinkedList.javaプロジェクトの問題

私はプロジェクトを完了するのにとても近いですが、私は1つの部分で立ち往生しています。 MyLinkedList.javaファイルのAbstractLinkedList.javaというファイルから抽象メソッドを実装しようとしています。ここでは、2つのプロジェクトファイルは、次のとおりです。 AbstractLinkedList.java /* Models a doubly-linked lis

0熱

1答えて

fork（）内のprint文のシーケンスsytem call

fork（）とprint文の間でランダムにplayngしていますが、そのようなコードにはまっていますが、コードはですここで #include<stdio.h> #include<unistd.h> #include<stdlib.h> int main() { printf("\n my process id %d \n",getpid()); pid_t pid1=

0熱

2答えて

フラッドスペースの複雑さ

私は周りを検索しましたが、どこでも答えを見つけることができませんでした。キューまたはスタックを使用している4ウェイフラッドフィルアルゴリズムには、どのくらいのスペースが必要ですか？