많은 영역에서 현장에서 일하는 모든 사람이 마스터해야하는 표준 기술이 있습니다. 예를 들어, 로그 공간 축소의 경우 구성된 함수의 전체 출력을 구성하지 않고 항상 모든 비트 출력에 대한 결과를 다시 계산하여 로그 공간 제약 조건을 유지할 수 있도록 구성하는 "비트 트릭"구성. 내 질문은 비 상대화 기술에 관한 것입니다. 이론가들이 기본적인 비상 …
비 결정적 유한 오토마타 및 함수 . 또한 합니다.A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F)f(n)f(n)f(n)Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i 이제 다음 문장을 분석해 보자. 만약 후, .Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A)L(A)=Σ∗L(A)=Σ∗L(A) = \Sigma^* 그것은 대한 것으로 쉽게 보여주는 것이다 이 오토마타가 개까지 길이가 모든 단어를 생성 따라서 경우에 해당하는 …
ISGCI의 목록 그래프의 1100 이상 종류. 이 중 다수에 대해 INDEPENDENT SET을 다항식 시간으로 결정할 수 있는지 여부를 알고 있습니다. 이것을 IS-easy 클래스 라고도 합니다. 최대 IS 쉬운 클래스 목록을 컴파일하고 싶습니다 . 이 클래스들은 함께이 문제에 대한 알려진 알려진 다루기 쉬운 경계를 형성합니다. 다루기 쉬움에 영향을주지 않고 무한 IS- …
부수적 프로젝트로 파이썬을 사용하여 언어를 작성하고 있습니다. 나는 Ply라는 flex / bison 클론을 사용하여 시작했지만, 그 스타일의 문법으로 표현할 수있는 것의 힘에서 우위에 섰습니다. 도구. 그러므로 나는 내 자신을 쓰는 것을 싫어하지 않습니다. 가장 강력한 파서 유형은 무엇입니까? 논문에 대한 인용 (더 많은 입문 기사)도 환영합니다. ( '강력한'은 정확하게 정의되어 …
우선, 나는 어리 석음에 대해 미리 사과드립니다. 나는 결코 복잡성 이론의 전문가가 아니다 (그것과는 거리가 멀다! 나는 복잡성 이론에서 첫 수업을 듣는 학부생이다) 여기 내 질문이있다. 이제 Savitch의 정리에 따르면 이제이 하한이 빡빡하면 궁금합니다. 즉 를 달성 할 수 없습니다.NSPACE(f(n))⊆DSPACE((f(n))2)NSPACE(f(n))⊆DSPACE((f(n))2)\text{NSPACE}\left(f\left(n\right)\right) \subseteq \text{DSPACE}\left(\left(f\left(n\right)\right)^2\right)NSPACE(f(n))⊆DSPACE((f(n))1.9)NSPACE(f(n))⊆DSPACE((f(n))1.9)\text{NSPACE}\left(f\left(n\right)\right) \subseteq \text{DSPACE}\left(\left(f\left(n\right)\right)^{1.9}\right) 결정적 튜링 머신의 구성 그래프의 각 …
n 개의 변수에 대한 3-SAT 문제를 고려하십시오. 가능한 고유 한 절 수는 다음과 같습니다. C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C = 2n \times 2(n-1) \times 2(n -2) / 3! = 4 n(n-1)(n-2)/3 \text. 문제 인스턴스의 수는 가능한 한 조항들 세트의 모든 부분 집합의 수이다 : . 당연히, 각 , 적어도 하나의 만족스러운 인스턴스와 하나의 불만족스러운 …
클래스 A 가 해밀턴 사이클을 갖는 크기 의 모든 그래프를 나타냅니다 . 이 클래스에서 임의의 그래프를 쉽게 생성 할 수 있습니다. n 개의 고립 된 노드를 취하고 임의의 해밀턴 사이클을 추가 한 다음 모서리를 무작위로 추가합니다.nnnnnn 클래스 B 가 해밀턴 사이클을 갖지 않는 크기 의 모든 그래프를 나타냅니다 . 이 …
여기 내가 해결하지 못한 퍼즐이 있습니다. 이 문제가 이미 알려져 있거나 쉬운 해결책이 있는지 알고 싶습니다. 이는 전단 사 함수를 정의하는 것이 가능하다 bicartesian 폐쇄 종류의 속성을 사용. Andrej Bauer는 이것이 자신의 블로그에서 " 건설 보석 : 저글링 지수 " 라는 의미에 대한 설명을 게시했습니다 .3N≅5N3N≅5N 3^\mathbb{N} \cong 5^\mathbb{N} 이 …
나는 Schwartz–Zippel lemma의 두 가지 증거 만 알고 있습니다. 첫 번째 (보다 일반적인) 증명은 wikipedia 항목에 설명되어 있습니다. 두 번째 증거 는 Dana Moshkovitz가 발견했습니다. 실질적으로 다른 아이디어를 사용하는 다른 증거가 있습니까?
편집 : 라비 보 파나 (Ravi Boppana)는 그의 대답 에서 올바르게 지적 하고 스콧 아 론슨 ( Scott Aaronson)도 그의 대답 에 또 다른 예를 추가 했으므로이 질문 에 대한 대답은 내가 전혀 기대하지 않은 방식으로“예”로 밝혀졌습니다. 먼저 나는 그들이 묻고 싶은 질문에 대답하지 않았다고 생각했지만, 어떤 생각을 한 후에,이 …
우리가 책을 읽 거나 원하는 경우 언어 버전의 다른 버전으로 가면 C 구현이 얼마나 많은 계산 능력을 가질 수 있습니까? "C 구현"은 기술적 의미를 갖습니다. 구현 정의 동작이 문서화 된 C 프로그래밍 언어 사양의 특정 인스턴스입니다. 실제 컴퓨터에서 AC 구현을 실행할 필요는 없습니다. 비트 문자열 표현을 가진 모든 객체와 구현 …
참고 : 이것은 표준 9x9 스도쿠 퍼즐에 관한 것입니다. 이 솔루션은 해결되고 합법적 인 퍼즐 만 지원 하면 됩니다. 따라서 솔루션은 빈 셀을 지원할 필요가 없으며 해결 된 스도쿠 퍼즐의 속성에 의존 할 수 있습니다. 나는 이것을 궁금하게 생각했지만, 내가 만족하는 대답을 생각할 수 없었다. 순진한 솔루션은 각 셀 (81 …
S에 poset "S"와 monotonic predicate "P"가 있다고 가정합니다. P를 만족하는 S의 최대 요소 중 하나 또는 전부를 찾고 싶습니다. 편집 : P 의 평가 횟수를 최소화하고 싶습니다 . 이 문제에 대해 어떤 알고리즘이 있으며 S에 어떤 속성과 추가 작업이 필요합니까? 다음과 같은 중요한 특수 사례는 어떻습니까? S는 선형 순서입니다. "미들 …