Câu hỏi được gắn thẻ «xor»

Tôi tự hỏi liệu có một thuật toán đa thức cho "2-SAT với quan hệ XOR" không. Cả 2-SAT và XOR-SAT đều thuộc P, nhưng sự kết hợp của nó là gì? Ví dụ đầu vào: Phần 2-SAT: (a or !b) and (b or c) and (b or d) Phần …

11 np-complete  satisfiability  xor  2-sat 

Gần đây tôi đã thảo luận với một người bạn về một trang web đề xuất các thách thức regex, chủ yếu khớp một nhóm từ với một thuộc tính đặc biệt. Anh ta đang tìm kiếm một regex khớp với các chuỗi như ||||||||số lượng số |nguyên tố. Tôi …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Toán tử - Sự khác biệt đối xứng tổng quát Nếu bạn lấy xor nhị phân và khái quát nó cho các radice khác, bạn có thể làm như vậy bằng giá trị tuyệt đối của sự khác biệt của từng phần tử trong một vectơ cơ số. Tuy nhiên, …

9 discrete-mathematics  xor 

Cho một dãy số tự nhiên, bạn có thể thêm bất kỳ số tự nhiên nào vào bất kỳ số nào trong dãy sao cho xor của chúng trở thành số không. Mục tiêu của tôi là để giảm thiểu tổng số các số được thêm vào. Hãy xem xét …

8 algorithms  integers  xor 

Được nnn biến boolean x1,…,xnx1,…,xnx_1,\ldots,x_n mỗi trong số đó được chỉ định một chi phí tích cực c1,…,cn∈Z&gt;0c1,…,cn∈Z&gt;0c_1,\ldots,c_n\in\mathbb{Z}_{>0} và một hàm boolean fff trên các biến được đưa ra trong mẫu f(x1,…,xn)=⋀i=1k⨁j=1lixrijf(x1,…,xn)=⋀i=1k⨁j=1lixrijf(x_1,\ldots,x_n)=\bigwedge_{i=1}^k\bigoplus_{j=1}^{l_i}x_{r_{ij}} (⊕⊕\oplus biểu thị XOR) với k∈Z&gt;0k∈Z&gt;0k\in\mathbb{Z}_{>0}, số nguyên 1≤li≤n1≤li≤n1\leq l_i\leq n và 1≤ri1&lt;⋯&lt;rili≤n1≤ri1&lt;⋯&lt;rili≤n1\leq r_{i1}<\cdots<r_{il_i}\leq n cho tất cả …

7 optimization  np-hard  satisfiability  integer-programming  xor