問題タブ [bitvector]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
python - ND配列の列でNan値を確認し、それらを削除します
以下のコードは、PythonND-Array列のNaN値をチェックするために作成されました。temparr1またはtemparr2のいずれかにNaNがある場合、対応する行を両方から削除します。問題は、それが機能していないように見えることです。手伝ってくれませんか。
なぜそれが機能しないのか、なぜ私はまだNaNを取得しているのか誰かに教えてもらえますか？
配列は次のようになります：[99,242,122、nan、42、nan、414、................]
data-structures - k-aryレベルの順序の簡潔なトライで親を取得するには?
私はレベル順序の簡潔なトライを実装していますが、特定のノードが親に戻ることができないようにしたいと考えています。
ランク/レベルの組み合わせをいくつか試しましたが、これについて頭を悩ませることはできません...
この記事を基本ドキュメントとして使用しています: http://stevehanov.ca/blog/index.php?id=120
チャイルドをトラバースする方法は説明していますが、上に行く方法は説明していません。
この MIT の講義 ( http://www.youtube.com/watch?v=1MVVvNRMXoU )のおかげで、これが可能であることはわかっています (15:50 に述べられているように一定時間で) が、スピーカーはバイナリ トライについてのみ説明します (例: : 式 select1(floor(i/2)) を使用)。
どうすればk-aryトライでそれを行うことができますか?
python - z3 の Python API でビットベクトルの配列を実装する方法
私は z3py を初めて使用し、Python で Z3 API を使用していましたが、ビットベクトルの配列を定義する方法がわかりませんでした。
私は次のようなものが欲しい：
しかし、チュートリアルの演習パネルでも、この構文は機能しませんでした。
誰かが正しい構文を手伝ってくれますか?
vhdl - VHDL: ベクターの選択されたビットをチェックする方法
VHDLのstd ロジックベクターのうち、関心のあるビットのみをチェックする方法があるかどうか疑問に思っています。私の最新の試みは次のようになります。
ここでは、ベクトルのビット 3、1、および 0 をチェックすることにのみ関心があります。この場合、ビット 2 は関係ありません。-「ドントケア」なのでうまくいくと思ったのですが、そうではありません。
これを簡単に行う方法はありますか？で可能であることはわかっていSTD_MATCHますが、別のアプローチを取りたいと考えています。
c++ - xcodeのiosプロジェクトにC++ビットベクトルを実装する
iOSプロジェクトでbitVectorを実装する適切な方法は、xcodeを使用することです。
私はiOSにかなり慣れていないので、プロジェクトでC++ビットベクトルを使用できることがわかりました。任意のガイダンスをいただければ幸いです。
ありがとう
z3 - Z3 のビットベクトルのメンバー
z3で次のことを行う方法を知る必要があります:
L4 の forall x 。x < l2
L0 の forall x と L1 の forall y。x < y
x < y となるように L0 と L1 をアサートする
結果は土曜日
y < x となるように L0 と L1 をアサートする
結果は UnSat
python - (Z3Py) 連結、量指定子、およびビットベクトル
ビットベクトルと連結で量指定子を利用することは可能ですか? 説明のために、最新の Z3 で次のコードを実行します。
次のエラーが発生します。
簡単な__len__メソッドを追加しようとしましBitVecRefたが、さらに問題が発生しました。
がなくてもConcat、コードは期待どおりに機能します。例えば：
正しい出力：proved
data-structures - データはビット ベクトルにどのように格納されますか?
固定サイズのビット ベクトルがどのようにデータを格納するのか、少し混乱しています。ASCII としてbv格納したいビット ベクトルがあるとします。hello
だから、、、、、。bv[0]=104_ bv[1]=101_ bv[2]=108_bv[3]=108bv[4]=111
ASCII はhelloビット ベクトルでどのように表されますか?
次のようなバイナリか、次[01101000][01100101][01101100][01101100][01101111]
のような ASCII か:[104][101][108][108][111]
次の論文HAMPIのセクション 3.5 ステップ 2 では、著者は ascii コードをビット ベクトルに割り当てていますが、ビット ベクトルで char がどのように表現されるか混乱しています。
c++ - ベクトルではない理由STLコンテナ？
Scott Meyers の著書「Effective STL: 50 Specific Ways to Improvement Your Use of the Standard Template Libraryvector <bool> 」の項目 18 は、STL コンテナーではなく、実際には s を保持しないため、避けるように述べていboolます。
次のコード:
コンパイルされず、STL コンテナーの要件に違反します。
エラー：
vector<T>::operator []戻り値の型は であるはずですT&が、なぜ特殊なケースなのvector<bool>ですか?
実際には何がvector<bool>構成されていますか?
この項目はさらに次のように述べています。
これは の代替として使用できますvector<bool>か?
誰でもこれを説明できますか？
d - D の固定サイズのビット配列
コンパイル時のサイズのビット配列 (スタック上) が必要な場合、代替手段は何ですか?
みたいなことを考えている
とbt同じようにcore.bitop
私のニーズに合うでしょう。
素敵なブール演算とともに、このためのテンプレートをすでに書いた人はいますか?