프로그래밍 과정에 대한 소개에서 우리는 알고리즘이 우리가 기대하는 것을 수행한다는 것을 증명하는 Initialization-Maintenance-Termination 방법에 대해 배웁니다. 그러나 우리는 이미 올바른 것으로 알려진 알고리즘이 올바른지 증명해야했습니다. 우리는 알고리즘이 올바르지 않다는 것을 보여 달라는 요청을받은 적이 없습니다. 올바른 것처럼 보이지만 그렇지 않은 알고리즘의 전형적인 예가 있습니까? Initialization-Maintenance-Termination 접근 방식이 한 눈에 직감적이지 …
대략 다음과 같은 패치 범주가 있습니까? 객체는 기본 알파벳의 문자열입니다. 형태는 문자열 사이의 편집 스크립트 ( "diffs"또는 "patches")입니다. 다음 질문에 관심이 있습니다. 최소한의 편집 스크립트 라는 범주적인 개념이 있습니까? 패치 범주에 PO 세트가 풍부합니까? 되어 병합 범주 형 pushout 패치? 이것을 문자열에서 트리 (파일 시스템 또는 대수 데이터 유형)로 일반화하는 …
자연수의 구간에 소수가 포함되어 있는지 여부를 결정하는 복잡성은 무엇입니까? 에라토스테네스의 체의 변형은 알고리즘을 제공하며 , 여기서 L 은 구간의 길이이고 ~ 는 구간 의 시작점에서 다 로그 인자를 숨긴다. ( L 혼자서) 더 잘할 수 있습니까?O~(L)O~(L)\tilde O(L)LLL∼∼\simLLL
언어에 조언 다항식 양 언어를 결정하지 LOGSPACE 튜링 기계가 존재하는 경우.L/polyL/polyL/poly 자세한 내용은 여기를 참조하십시오 : https://en.wikipedia.org/wiki/L/poly 질문 의 결과는 무엇입니까 ?P⊆L/polyP⊆L/polyP \subseteq L/poly
입력 주어지면 , 우리는 두 개의 변수 와 를 반복적으로 선택 하고 경우 이들을 바꾸는 비교 게이트를 추가하여 게이트로 무작위 정렬 네트워크를 구성합니다 .x 0 , … , x n − 1 m x i , x j i < j x i > x jnnnx0,…,xn−1x0,…,xn−1x_0, \ldots, x_{n-1}mmmxi,xjxi,xjx_i, x_ji<ji<ji < …
다음 결정 문제를 고려하십시오 입력 : 모노톤 CNF ΦΦ\Phi 및 모노톤 DNF .ΨΨ\Psi 질문 : 는 팽팽한가요?Φ→ΨΦ→Ψ\Phi \to \Psi 확실히 O(2n⋅poly(l))O(2n⋅poly(l))O(2^n \cdot \mathrm{poly}(l)) 시간 에서이 문제를 해결할 수 있습니다 . 여기서 nnn 은 의 변수 수 Φ→ΨΦ→Ψ\Phi \to \Psi이고 lll 은 입력 길이입니다. 한편,이 문제는 coNP-complete입니다. 또한,도 세스되지 않는 프로그램을 …
하자 맵핑 함수 될 -gate 회로 의 비트들과 비트 스트링 에 . 회로가 할당의 비순환 시퀀스 로 인코딩되었다고 가정합니다 . 는 와이어 레이블입니다.CircuitEvals,nCircuitEvals,n\mathsf{CircuitEval}_{s, n}sssCCCnnnnnnxxxC(x)C(x)C(x)k:=g(i,j)k:=g(i,j)k := g(i, j)i,j,ki,j,ki, j, k 나는 이것이 약간 재미있는 질문이라는 것을 알고 있지만이 문제의 회로 복잡성에서 가장 잘 알려진 상한은 무엇입니까? 이 함수를 계산 하는 단일 …
다음과 같은 간단한 모노톤 회로 모델을 고려하십시오. 각 게이트는 이진 OR입니다. 기능의 복잡도 란 F ( X ) =가 Xf(x)=Axf(x)=Ax 여기서 부울 인 N × N 을 가진 행렬 O ( N ) '0'? 선형 크기 OR 회로로 계산할 수 있습니까?AAn×nn \times nO(n)O(n) 보다 공식적으로, fff 는 nnn 에서 nnn …
STOC와 같은 컨퍼런스에서 다루는 주제를 고려할 때 알고리즘이나 복잡성 연구원이 COQ 또는 Isabelle을 적극적으로 사용하고 있습니까? 그렇다면 연구에서 어떻게 사용하고 있습니까? 나는 증거가 너무 낮기 때문에 대부분의 사람들이 그러한 도구를 사용하지 않을 것이라고 가정합니다. 좋은 보충이 아닌 연구에 중요한 방식 으로이 증거 보조자를 사용하는 사람이 있습니까? 나는 그러한 도구 중 …
Jeffrey Shallit의 Automata 이론 의 두 번째 코스 4 장 에서 다음과 같은 문제가 공개적으로 나열되어 있습니다. 하자 P는 ( N )p(n)p(n) 와 같은 것이 합리적 계수와 다항식 P ( N ) ∈ Np(n)∈Np(n) \in \mathbb{N} 모든 N ∈ Nn∈Nn \in \mathbb{N} . 입증 또는 반증하는 모든 정수의베이스 K 표현 …
Hott 책 의 1 장과 부록 A에서 기초를 형성하기 위해 몇 가지 기본 유형 패밀리 (유니버스 유형, 종속 함수 유형, 종속 쌍 유형, 보조 제품 유형, 빈 유형, 단위 유형, 자연수 유형 및 ID 유형)가 제공됩니다. Homotopy 유형 이론을 위해. 그러나 유니버스 유형 및 종속 함수 유형을 사용하면 이러한 다른 …
이 존재 하는가 , 대칭 그룹의 일부 가족이있는 NP-또는 P-완전한 언어 G N (또는 준군을 세트에 (다항식 시간),하지만 그때 알고리즘 질문이 더 개방 될) 행동 L , N = { L ∈ L ∣ | l | = n } 궤도가 거의없는 것, 즉 | L n / G n …
BPP\mathbf{BPP}P\mathbf{P}poly\mathrm{poly} ( 최대 , + ) (max,+)(\max,+)( 최소 , + )(min,+)(\min,+) 반반 지로 하자 . 제로 패턴 시퀀스 의 다항식 인 집합 있는 존재 및 에서 모든 에 대해 iff 입니다. 즉, 갖는 정확하게 다항식 의 그래프는 의 포인트 도달해야합니다 . 조건 는 으로 대체 될 수 있으므로 "영점 패턴" …