고차원 데이터 분포에서 알려진 분포와 알려지지 않은 낮은 차수 다항식 임계 함수에 의해 절단된 분포를 구별하는 문제에 대한 효율적인 알고리즘과 하한을 제시합니다.
This paper presents an efficient algorithm for detecting whether a hypercontractive product distribution has been truncated by a low-degree polynomial threshold function, along with a matching information-theoretic lower bound proving the algorithm's optimality.
本文探討了「明確可滿足性問題」中,布林公式的自然範圍,特別是在精確合取範式 (PCNF) 下,以子句數量定義其界限,並提出判定部分 PCNF 公式不可滿足性的方法。
본 논문에서는 PCNF(Precise Conjunctive Normal Form)에서 절의 개수와 관련하여 Unambiguous-SAT 문제의 자연 범위를 정의하고, 특정 조건에서 PCNF 공식의 만족 불가능성을 판별할 수 있는 함수 및 알고리즘을 제시합니다.
本稿では、充足可能な論理式の範囲と、一意に充足可能な論理式の範囲を明確化することで、 Unambiguous-SAT 問題の自然な範囲を定義し、その範囲内の充足可能性問題を効率的に解くための方法について考察する。
For Boolean formulas expressed in a strict format called Precise Conjunctive Normal Form (PCNF), there's a defined range, based on the number of variables and clauses, where determining if a solution exists and is unique (the Unambiguous-SAT problem) becomes naturally constrained.
本論文では、充足可能な制約充足問題(CSP)の近似可能性について、特にアベリア埋め込みを許容しないk項述語に焦点を当てて論じています。
本文證明了若兩個 NP 難圖論問題可以互相歸約,則其中一個問題的邊界類別可以轉換為另一個問題的邊界類別,並應用此結果找到了一些圖論問題新的邊界類別。
본 논문은 그래프의 리스트-램지 속성에 대한 임계값을 분석하며, 특히 숲 그래프를 포함하는 경우와 그렇지 않은 경우에 따라 나타나는 현상을 심도 있게 다룹니다.
本稿では、任意の奇数クエリ局所復号可能符号(LDC)に対し、従来よりも強い下界を証明しました。従来手法では困難であった奇数クエリの場合においても、新しい擬似ランダム性条件である「近似強正則性」を導入することで、効率的な復号を阻害する符号長の限界を示しました。