«polynomial-time» 태그된 질문

4
P에서 2SAT는 왜?
2SAT를 해결하는 다항식 알고리즘을 보았습니다. SAT 인스턴스의 모든 (또는 다른 많은) 인스턴스가 NP-Complete 인 곳에서 2SAT가 P에 있음을 알게되었습니다. 이 문제가 다른 이유는 무엇입니까? 그렇게 쉬운 이유는 무엇입니까 (NL- 완료-P보다 훨씬 쉬움)?
2
다항식 시간에 어떤 클래스의 수학 프로그램을 정확하게 또는 대략적으로 해결할 수 있습니까?
나는 어떤 유형의 (연속적) 수학적 프로그램 (MP)이 효율적으로 해결 될 수 있고 어떤 것이 불가능한 지에 대한 지속적인 최적화 문헌과 TCS 문헌에 혼란을 느낀다. 지속적인 최적화 커뮤니티는 모든 볼록한 프로그램이 효율적으로 해결 될 수 있다고 주장하는 것 같지만, "효율적"에 대한 그들의 정의는 TCS 정의와 일치하지 않는다고 생각합니다. 이 질문은 지난 …
2
행렬 집합의 범위에 순열 행렬이 포함되어 있는지 확인하는 다항식 시간 알고리즘이 있습니까?
주어진 행렬 집합의 범위에 순열 행렬이 포함되어 있는지 확인하는 다항식 시간 알고리즘을 찾고 싶습니다. 이 문제가 다른 복잡성 클래스인지 여부를 아는 사람도 도움이 될 것입니다. 편집 :이 질문에 선형 프로그래밍 태그를 지정했습니다. 왜냐하면 그러한 솔루션이 존재하면 일종의 선형 프로그래밍 알고리즘이 될 것이라는 강한 의혹이 있기 때문입니다. 내가 믿는 이유는 Birkhoff …
1
P의 PLANAR NAE k-SAT는 어느 것입니까?
부울 변수 의 집합 에 대해 일련의 절 를 고려할 때 모두 같지 않음 -SAT 문제 (NAE -SAT) 는 각 절에 최대 리터럴이 포함 되도록 변수의 실제 할당이 있는지 묻습니다. 각 절에는 하나 이상의 true 및 하나 이상의 false 리터럴이 포함됩니다.kkkkkkCCCXXXkkk PLANAR NAE -SAT 문제는 NAE -SAT가 와 의 입사 …
1
폴리 타임 확률 론적 하위 로그 공간에서
언어 EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} . 이는 것으로 알려져 EQUALITYEQUALITY \mathtt{EQUALITY} 임의 sublogarithmic 공간 교대 튜링 기기 (ATM)에 의해 인식 될 수 없다 (Szepietowski, 1994) . (멤버에게는 비 로그 공간을 사용하지만 모든 비 멤버가 아닌 ATM이 있습니다!) 반면, Freivalds (1981) 는 경계 오류 상수 …
3
완전 단일 정수형 선형 프로그램을 얼마나 빨리 해결할 수 있습니까?
(이 질문에 대한 후속 조치 와 답변 입니다.) 다음과 같은 완전히 단일 모듈 식 (TU) 정수 선형 프로그램 (ILP)이 있습니다. 여기서 는 모두 입력의 일부로 주어진 양의 정수입니다. 변수 x i j 의 지정된 서브 세트는 0으로 설정되며 나머지는 양의 정수 값을 취할 수 있습니다.ℓ , m , n1, n2, …
6
준 다항식 시간에는 자연스러운 문제가 있지만 다항식 시간에는 문제가 없습니까?
라즐로 바바이 (László Babai)는 최근 그래프 동 형사상 문제가 준 다항식 시간 에 있음을 증명했다 . 시카고 대학교에서의 그의 강연 을 참조하십시오. Jeremy Kun GLL post 1 , GLL post 2 , GLL post 3 의 대화 내용을 참고하십시오 . Ladner의 정리에 따르면 인 경우 가 비어 있지 않습니다. 즉 …
5
polynomially-decidable 억제가있는 주목할만한 오토 마톤 모델에는 어떤 것이 있습니까?
특정 문제를 해결하려고하는데 automata 이론을 사용하여 해결할 수 있다고 생각했습니다. 다항식 시간에 어떤 오토마타 모델이 격리를 결정할 수 있는지 궁금합니다. 즉 기계 있는 경우 효율적으로 테스트 할 수 있습니다 .M1,M2M1,M2M_1, M_2L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) 기억해야 할 것은 DFA와 역수 제한 카운터 머신입니다. 카운터 수가 고정되어 있습니다 ( 이 백서 참조 ). …
2
4주기 자유 그래프 주어지면 2 차 시간에 3주기가 있는지 여부를 결정할 수 있습니까?
다음 -cycle 문제이다 :케이케이k 인스턴스 : 그래프 방향성이 가진 정점과 최대 \ n을 2 선택 가장자리를.지지G엔엔n( n2)(엔2)n \choose 2 질문 : G에 (적절한) 케이케이k 사이클이 있습니까?지지G 배경 : 모든 고정 케이케이k 에 대해 O (n ^ 2) 시간 내에 2 개 k2케이2k 사이클을 해결할 수 있습니다 .O ( n2)영형(엔2)O(n^2) Raphael …
4
Haskell의 seq 연산과 호환되는 기능에 대한 eta-equivalence가 있습니까?
Lemma : 에타와 동등하다고 가정하면 (\x -> ⊥) = ⊥ :: A -> B. 증명 : ⊥ = (\x -> ⊥ x)에타 동등성 및 (\x -> ⊥ x) = (\x -> ⊥)람다 감소. Haskell 2010 보고서, 섹션 6.2 seq는 두 가지 방정식으로 함수를 지정합니다 . seq :: a-> b-> b …
3
P에는 PA 또는 ZFC와 독립적 인 언어가 포함되어 있습니까? (TCS 커뮤니티 위키)
답 : 알 수 없습니다. 질문은 자연스럽고 개방적이며 명백히 어렵습니다. 이제 질문은 커뮤니티 위키입니다. 개요 이 질문은 복잡도 클래스 속하는 언어 피피P (이러한 언어를 허용하는 의사 결정 Turing Machine (TM))와 함께 두 개의 보완 서브 클래스 로 나누려고합니다 . 영지 언어 및 TM (유효성 / 이해가 가능한)과 암호 언어 및 …
2
POSITIVE CNF-SAT에서 만족스러운 과제 수 계산
주어진 일반 부울 공식 (CNF-SAT), 주어진 DNF 공식 또는 주어진 2SAT 공식에서 만족스러운 할당 수를 계산하는 문제는 # P- 완전한 문제 라는 것을 알고 있습니다. 이제 음수 리터럴이없는 CNF-SAT ( , 항상 A )를 고려하십시오. 결정 문제는 매우 쉽습니다 (모든 변수를 TRUE로 설정하고 대입이 수식을 만족하는지 확인). 그러나 만족하는 대입 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.