«reference-request» 태그된 질문

다음 문제에 대한 참조를 찾고 있습니다 : 주어진 정수 nnn그리고 , 개의 꼭짓점과 나무 너비 에 모든 비 등방성 평면 그래프를 열거합니다 . 이론적 결과와 실제 결과에 관심이 있지만 가능한 많은 및 값 ( 및 ) 으로 코딩하고 실행할 수있는 대부분 실용적인 알고리즘입니다 . 이미 답변이 있다면 아래의 문제를 무시하십시오.kkknnn≤k≤k\leq …

9 reference-request  graph-theory  graph-algorithms  treewidth 

우리는 1 차 만족도를 결정하는 것이 일반적으로 결정 불가능하다는 것을 교회의 정리에서 알 수 있지만, 1 차 만족도를 결정하기 위해 사용할 수있는 몇 가지 기술이 있습니다. 가장 확실한 것은 유한 모델을 검색하는 것입니다. 그러나 1 차 논리에는 유한 모델이 없음을 보여줄 수있는 많은 진술이 있습니다. 예를 들어, 주사 및 비 …

9 reference-request  lo.logic  automated-theorem-proving 

가장 빠른 알려진 무 방향 그래프 동형 알고리즘은 무엇입니까?

9 cc.complexity-theory  reference-request  graph-algorithms  graph-isomorphism 

의사 소통 복잡성을 자체적으로, 그리고 계산 복잡성 이론과 관련하여 동기를 부여하고 배우는 가장 좋은 출처 (책과 논문)는 무엇입니까?

9 cc.complexity-theory  reference-request  communication-complexity  books 

허락하다 xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} ...에 대한 i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}, 약속으로 x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (합이 끝난 곳 ZZ\mathbb{Z}). 그렇다면 결정의 복잡성은 무엇입니까x=1x=1x = 1? 사소한 문제는 ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} 때문에 x≡1modmx≡1modmx \equiv 1\bmod{m}iff x=1x=1x = 1 입니다. 질문은 : 문제가 AC0AC0\mathsf{AC}^0 있습니까? 그렇다면 회로가 이것을 목격하는 것은 무엇입니까? 그렇지 …

9 reference-request  complexity-classes  circuit-complexity  upper-bounds 

Shannon의 엔트로피 작업에 대해 알고 있지만 최근에는 경험적 엔트로피가 종종 저장소 분석의 일부로 사용 되는 간결한 데이터 구조를 연구했습니다. Shannon은 이산 정보 소스에 의해 생성 된 정보의 엔트로피를 다음과 같이 정의했습니다. −∑ki=1pilogpi−∑i=1kpilog⁡pi-\sum_{i=1}^k p_i \log{p_i}, 어디 pipip_i예를 들어 특정 문자가 생성되는 이벤트 발생 확률이며 가능한 이벤트가 있습니다.iiikkk 주석에서 MCH에 의해 지적 …

9 reference-request  shannon-entropy  succinct 

내쉬 평형은 일반적으로 계산할 수 없습니다. -Nash 평형 내에 상대편의 전략, 각 플레이어 얻 주어 전략의 집합 가능한 최대의 기대 보수. 과 게임에서 -Nash 평형을 찾는 것은 -완료입니다.ϵϵ\epsilonϵϵ\epsilonϵϵ\epsilonϵϵ\epsilonP P A DPPAD\mathsf{PPAD} 정의에 의해 엄격하게 살펴보면 주어진 -Nash 평형 전략이 Nash 평형 전략과 가까운 곳에 있다고 믿는 특별한 이유는없는 것 같습니다 …

9 reference-request  gt.game-theory  ppad 

단방향 기능의 존재는 암호화 (디지털 서명, 의사 난수 생성기, 개인 키 암호화 등)의 대부분에 필요하고 충분하다는 것이 잘 알려져 있습니다. 내 질문은 : 일방 함수의 존재로 인한 복잡성 이론 결과는 무엇입니까 ? 예를 들어 OWF는 , 및 입니다. 다른 알려진 결과가 있습니까? 특히 OWF가 다항식 계층 구조가 무한하다는 것을 의미합니까?N …

9 cc.complexity-theory  reference-request  complexity-classes  cr.crypto-security  one-way-function 

선형 다이 오판 틴 방정식 (천연 수 는 자연수 와 있어 ?)은 다항식 시간으로 해결할 수 있습니다.a , b , cㅏ,비,씨a, b, c엑스엑스x와이와이ya x + b y+ c = 0ㅏ엑스+비와이+씨=0ax + by + c = 0 차 디오 판틴 방정식 ( )은 NP- 완료 ( 2 차 다항식의 NP- 완전 …

9 reference-request 

유한 우주 개체 의 요소 하위 집합의 패밀리라고 하자 . 가족 의 의 - 요소 서브 세트 와, , A는 - 설정된 명중 의 각각의 경우 적어도 하나 개의 세트가 존재 등을 그 .에프FF디dd유UUHHH케이kk유UU1 ≤ k &lt; d1≤k&lt;d1 \le k < d( k , d)(k,d)(k,d)에프FFV∈ FV∈FV \in F여∈ HW∈HW \in …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

이 백서의 최종 선형화 가능 공유 객체 (PODC'10) 를 소개하면서 저자들은 다음과 같은 언급을하지 않고 발표했습니다. 그러나 합의를 해결할 수있는 경우에만 선형성을 얻을 수 있습니다. 여기서 선형화 가능성은 공유 객체의 알려진 가장 강력한 일관성 속성으로, 선형화 : 동시 객체의 정확성 조건 문서에서 제안됩니다 . 다음과 같은 주장으로 인해 위의 진술에 …

9 reference-request  dc.distributed-comp 

수식 또는 수식 여기서 는 다음 형식의 공식입니다. \ psi : = t&gt; t ~ | ~ t = t t : = t + t ~ | ~ x_i ~ | ~ y_i ~ | ~ C 여기서 C 에서 일정한 \ mathbb {N} , 및 변수의 도메인 y_i는 …

9 cc.complexity-theory  reference-request  lo.logic 

양자 컴퓨팅 문헌의 대부분은 회로 모델에 중점을 둡니다. 단열 양자 컴퓨팅은 일련의 단일 연산자를 적용하는 것이 아니라 시간에 따른 해밀턴을 변경하는 것입니다. 다음 중 하나에 대한 통찰력을 찾고 있습니다. 단열 양자 컴퓨팅은 회로 모델만큼 강력합니까, 아니면 본질적으로 덜 강력합니까? 회로 모델이 아닌 단열 컴퓨팅과 관련된 복잡성 클래스가 있습니까? 단열 컴퓨팅의 …

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

우리는 알고 L⊆NL⊆P⊆NPL⊆NL⊆P⊆NP\mathcal{L}\subseteq \mathcal{N\!L}\subseteq\mathcal{P}\subseteq\mathcal{N\!P}. 사 비치 정리에서NL⊆L2NL⊆L2\mathcal{N\!L}\subseteq\mathcal{L}^2Space Hierarchy Teorem에서 L≠L2L≠L2\mathcal{L}\neq\mathcal{L}^2. 우리가 알지 못하는 것처럼L≠PL≠P\mathcal L\neq\mathcal P, 우리는 모른다 L2⊆PL2⊆P\mathcal L^2\subseteq\mathcal P또는 우리는 그것을 알고 있습니까 L2⊈PL2⊈P\mathcal L^2\not\subseteq\mathcal P? 아무도 그것을 증명하려고 노력 했습니까?L2⊆PL2⊆P\mathcal L^2\subseteq\mathcal P? 이런 식으로 최신 결과 또는 노력은 무엇입니까? 이 주제에 대한 설문을 작성하려고했지만 관련성이 없습니다. 또한 …

9 reference-request  complexity-classes  open-problem  hierarchy-theorems 

Martin-Löf 형식 이론, 즉 Coq / Agda로 공식화 된 검증 된 컴파일러에 관심이 있습니다. 현재 나는 작은 장난감 예제를 작성했습니다. 이를 통해 최적화가 올바른지 확인할 수 있습니다. 예를 들어, 0을 사용한 추가는 제거 할 수 있습니다 (예 : "x + 0"과 같은 표현식). 일반적인 컴파일러로는 수행하기 어려운 최적화가 있습니까? 일반 …

9 reference-request  pl.programming-languages  type-theory  semantics  compilers