안녕하세요, 패딩 트릭을 사용하면 복잡한 클래스를 위쪽으로 변환 할 수 있습니다 (예 : . 패딩은 입력을 "팽창"하여 변환 (예 : 에서 )을 실행하여 패딩 된 입력에서 실행할 수있는 "매직"알고리즘을 생성합니다. 이것이 기술적으로 의미가 있지만, 이것이 어떻게 작동하는지 잘 이해할 수 없습니다. 여기서 정확히 무슨 일이 일어나고 있습니까? 패딩이 무엇인지에 대한 …
다음 문제점을 고려하십시오. CNF 공식 및이 공식을 만족하는 지정이 주어지면이 공식에 대해 만족스러운 다른 지정이 있습니까? 이 문제의 복잡성은 무엇입니까? (가장 확실하게 NP에 있지만 NP-hard입니까?) 할당이 주어지지 않고 수식에 고유 한 만족 할당이 있는지 여부를 결정하려면 어떻게해야합니까? 감사.
RP 는 다항식 시간으로 종료되는 비 결정적 튜링 머신에 의해 결정될 수있는 문제의 클래스이지만 일방적 인 오류도 허용됩니다. P는 다항식 시간으로 끝나는 결정 론적 Turing machine에 의해 결정될 수있는 일반적인 종류의 문제입니다. P = RP는 회로 복잡도의 관계에서 따릅니다. Impagliazzo와 Wigderson은 결정 론적 지수 시간으로 결정될 수있는 문제가 지수 크기 …
잘 해결 증거 것으로 알려져있다 순이익 대비 P 문제는 극복해야한다 상대화 , 자연 교정 및 algebrization의 장벽을. 다음 다이어그램은 "증거 공간"을 다른 지역으로 분할합니다. 예를 들어, RNRNRN 은 상대화하고 귀화시키는 일련의 증명에 해당합니다. GCTGCTGCT (Geometric Complexity Theory)는 물론 외부 지역입니다. 가장 잘 알려진 지역과 함께 일부 증거를 명명하십시오. 증거가 귀화를 …
n 상태와 두 개의 (최소) DFA의 교차는 O (n 2 ) 시간과 공간을 사용하여 계산할 수 있습니다 . 결과적인 (최소한) DFA는 n 2 상태를 가질 수 있기 때문에 이것은 일반적으로 최적입니다 . 그러나 결과 최소 DFA에 z 상태가 z = O (n) 인 경우, 일부 상수 eps> 0에 대해 공간 …
내 GPS를 가지고 놀면서 오늘 다음과 같은 문제를 공식화했습니다. 여기있어 : 하자 방향성 그래프와 같은 것일 경우, 다음 즉, 기본 무향 그래프의 방향이다. 다음 작업을 고려하십시오.e = ( u , v ) ∈ E ( v , u ) ∉ E G지 ( V), E)G(V,E)G(V,E)e = ( u , v …
이 질문이 해결되었다고 생각하십시오. 나는 그들 모두가 주제에 대한 나의 이해에 기여했기 때문에 최선의 답변을 선택하지 않을 것입니다. 술어 논리의 의미를 공식적으로 정의하여 어떤 이점이 있는지 확실하지 않습니다. 그러나 나는 공식적인 증거 미적분을 갖는 것이 가치가 있다고 생각합니다. 내 요점은 증거 미적분의 추론 규칙을 정당화하기 위해 공식 의미론이 필요하지 않다는 …
Wang 타일을 사용하는 Berger의 결과로 타일 세트가 평면을 타일링 할 수 있는지 여부를 결정할 수 없다는 것을 알고 있습니다 . 내 질문은 주어진 단일 타일이 평면, 일 면체 타일을 타일링 할 수 있는지 여부를 결정할 수없는 것으로 알려져 있는지 여부 입니다. 이것이 불안정한 경우, 결정 불가능한 증거가있는 타일 세트의 최소 …
야심 찬 CoRR 논문을 너무 많이 읽은 것 같습니다 . 문제는 그 논문들이 동료 검토되지는 않지만 종종 흥미롭게 들리고 기본적인 타당성 점검을 통과한다는 것입니다. 또는 그렇지 않을 수도 있으며, 타당성 검사를 개선하기 만하면됩니다. 최근에 그러한 논문의 샘플이 있습니다 : 고유성 트리 : 그래프 동형 문제에 대한 다항식 접근법 그룹과 색 …
나는 타입 이론들 사이에서 가장 잘 알려진 차이점들과 관련이없는 Agda와 Coq 사이의 혼란스러운 의견 차이를 우연히 발견했다 (예 : (im) predicativity, induction-recursion 등). 특히 다음 정의는 Agda에 의해 허용됩니다. data Ty : Set0 -> Set0 where c1 : Ty ℕ c2 : Ty (Ty ℕ) 반면에 동등한 Coq 정의는 거부된다. …
이 질문에 대한 그의 답변 에서 Stephane Gimenez 는 선형 논리의 증명을위한 다항식 시간 정규화 알고리즘을 지적했습니다. 지라드의 논문에서 증명은 증명 그물을 사용하는데, 이것은 실제로 잘 모르는 선형 논리의 한 측면입니다. 이제는 증거 그물에 대한 논문을 읽었 지만 ( Pierre-Louis Curien의 메모 와 같은 ) 실제로 이해하지 못했습니다. 그래서 제 …
Cormen, Leiserson, Rivest 및 Stein의 "Introduction to Algorithms"와 같은 표준 교과서에서 다루지 않는 고급 데이터 구조에 대한 책을 찾고 있습니다. Erik Demaine 및 MIT 의 André Schulz의 고급 데이터 구조 과정 과 같은 고급 데이터 구조에 대한 대학원 레벨 과정을 가르치는 데 사용할 수있는 책 . 백과 사전의 데이터 구조 …