이론 컴퓨터 과학

NP-hard 최적화 문제 목록을 찾고 있는데, 여기서는 실제 휴리스틱 문제를 해결하기위한 실제 연구가 진행되고 사람들이 이길 수있는 일반적인 벤치 마크가 있습니다. 예를 들면 다음과 같습니다. 계통 발생적 나무 재건 (예 : 여기에 휴리스틱 ) 여행 판매원 (매우 활동적이지는 않지만 LKH 는 잘 알려져 있음) 더 구체적으로 말하면, 사람들이 실제로 결과 …

9 heuristics 

정의하는 계산 모델에 의해 Adleman에의 DNA 모델이나이 작품 이외의 단백질을 기반으로하는 프레임 워크 / 형식주의 거기에 체리와 키안은 ?

9 reference-request  machine-models 

Razborov의 근사 방법은 무엇입니까? 누군가 높은 수준의 개요와 그 뒤에 직관을 줄 수 있습니까?

9 cc.complexity-theory  circuit-complexity 

알려진 계산 가능한 초월 번호가 있습니까? nnn자릿수는 다항식 시간으로 계산 가능하지만 O(n)O(n)O(n)?

9 cc.complexity-theory  comp-number-theory 

준 다항식 시간, 즉 QP는 결정적인 Turing 머신의 복잡한 클래스입니다. 정확한 정의는 다음과 같습니다. https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp βP는 제한된 비결정론의 복잡성 클래스입니다. 정확한 정의는 다음과 같습니다. https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap QP 기계, 즉 βP 기계로 βP 기계를 시뮬레이션 할 수 있음을 쉽게 알 수 있습니다. ⊆⊆\subseteq QP. 그러나 문제가 βP에 있지 않다는 정확한 증거가 없더라도 …

9 cc.complexity-theory  complexity-classes 

완전한 DFA가 주어짐 A = ( Q , Γ , δ, F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta, F)함수 모음을 정의 할 수 있습니다 에프ㅏfaf_a 각각 ∈ Γa∈Γa\in \Gamma와 에프ㅏ: Q → Qfa:Q→Qf_a:Q\rightarrow Q, 에프ㅏ( q) = δ( q, )fa(q)=δ(q,a)f_a(q)=\delta(q, a). 이 개념을 한 단어로 일반화 할 수 있습니다w =ㅏ1, ⋯ ,ㅏ미디엄w=a1,⋯,amw=a_1, \cdots, a_m …

9 automata-theory  regular-language  monoid 

알파벳 의 고정 언어 경우 -INTERLEAVING 이라고하는 다음 문제를 고려하십시오 .LLLAAALLL 입력 : 두 단어u,v∈A∗u,v∈A∗u, v \in A^* 출력 :는 존재 여부 인터리빙 의 및 에 .uuuvvvLLL 여기, 두 단어 의 인터리빙uuu 과 vvv 단어입니다 www 그 편지를 복용함으로써 직관적으로 얻을 수 있습니다 uuu 과 vvv상대 순서를 유지하면서. 공식적으로www 인터리빙 …

9 cc.complexity-theory  reference-request  regular-language 

나는 정확히 하나의 테이프와 정확히 3 개의 상태 (즉, 시작 상태)를 가진 Turing Machines에 대해 궁금했습니다. q0q0q_0수락 상태 qacceptqacceptq_{accept}, 거부 상태 qrejectqrejectq_{reject}). 임의의 (유한 한) 테이프 알파벳을 허용합니다 (즉, 테이프 알파벳은 입력 알파벳과 같도록 제한되지 않습니다). 편의상 해당 TM이 인식 할 수있는 언어 클래스를 호출하십시오. C3C3C_3. 이 수업에 대해 몇 …

9 automata-theory  turing-machines  cellular-automata 

허락하다 ΣΣ\Sigma유한 한 알파벳이어야합니다. 코드 X엑스X 위에 ΣΣ\Sigma 의 하위 집합입니다 Σ∗Σ※\Sigma^* 각 단어가 X∗엑스※X^* 단어의 연결로 고유하게 표현 될 수 있습니다. X엑스X. 코드X엑스X만약 에 유한|X||엑스||X|유한하다. (최소) 오토마타 인식에 대해 알려진 것X∗엑스※X^* 유한 코드 X엑스X? 그러한 오토마타의 특징이 있습니까?X엑스X)? 그런 자동 기계를 가지고 코드를 추출하는 것이 가능합니까?X엑스X 다항식 시간에? 또한 …

9 automata-theory 

그룹을위한 강력한 발전기 ( G ≤에스엔, ∗ )(G≤Sn,∗)(G \leq S_n, *) 길이의 비트 열에 작용 엔nn 그리고 요소 s∈{0,1}ns∈{0,1}ns \in \{0, 1\}^n, 사 전적으로 최소한의 요소를 계산하는 것이 얼마나 어려운가 G.sG.sG.s의 궤도 sss 에 GGG?

9 permutations  gr.group-theory  complexity 

하자 복잡도 클래스 될 의 무작위 대조 될 과 같은 방식으로 정의 에 대하여 정의 . 보다 공식적으로 우리는 polynomially 많은 임의의 비트를 제공하고 받아 들일 확률이 이상이면 입력을 받아들입니다 .CC\mathcal{C}BP-CBP-C\textrm{BP-}\mathcal{C}CC\mathcal{C}BPPBPP\textrm{BPP}PP\textrm{P}2323\frac{2}{3} A의 이전 게시물 이 평등 사이에 보유하고 있는지를 안다면, 내가 물었다 와 에 대한CC\mathcal{C}BP-CBP-C\textrm{BP-}\mathcal{C}CC\mathcal{C}회로 복잡성 클래스. 답은 다수를 계산하기에 …

9 circuit-complexity  randomized-algorithms  derandomization 

내 질문은 "Geometric Complexity Theory V"의 이론 4.1과 4.2에 관한 것이다. 첫 번째 정리는 다음을 위해 hsop을 구성하기위한 EXPSPACE 알고리즘 이 존재한다고 명시합니다.Δ [ det , m ]Δ[det,m]\Delta[\text{det},m] (용지의 정의 참조) 씨C\mathbb{C} (실제로 대수적으로 닫힌 특성 필드 0). 두 번째는 동일한 문제에 대한 확률 적 폴리-시간 몬테카를로 알고리즘을 제공합니다. 이 …

9 gct 

나는 과학 "다항식 자원과 집단 상태를 사용하여 다항식 시간에 NP- 완전한 문제를 계산하는 방법"에 실린 기사를 발견 했다. Memcomputing은 상호 작용하는 메모리 셀 (약간 프로세서)을 사용하여 동일한 물리적 플랫폼에 정보를 저장하고 처리 하는 새로운 비 Turing 패러다임 계산 방식입니다. 최근 에 memcomputing 기계가 비 결정적 Turing 기계와 동일한 계산 능력을 …

9 np-complete  open-problem 

문제가 발생하여 2-nexptime 인 것으로 나타났습니다. 하한을 찾기 위해 알려진 2-nexptime-complete 문제를 찾고 싶습니다. 나는 문학에서 주로 두 가지 문제를 발견했다. PCP가 보다 작은 솔루션인지 여부22엔22엔2^{2^n} 크기의 제곱에 대한 경작 문제22엔22엔2^{2^n} 그러나 나는이 문제를 광산에서 인코딩 할 수 없었습니다. 따라서 다른 2-NEXPTIME- 완전 문제를 먼저 알고 싶습니다. 먼저이 수업에 대해 …

9 complexity-classes  time-complexity  complexity 

허락하다 ΣΣ\Sigma 알파벳이되다 222크기가 최대 한도 인 최소 DFA를 고려하십시오. m미디엄m. 허락하다f(m)에프(미디엄)f(m) 서로 다른 최소 DFA 수를 나타냅니다. 에 대한 폐쇄 형 공식을 찾을 수 있습니까? f(m)에프(미디엄)f(m)? 그것을 고려하여 | Σ|=2|Σ|=2|\Sigma|=2 최대 크기의 DFA의 전환 기능 m미디엄m그래프입니다. 노드 정도는222각 노드마다 m2미디엄2m^2호 쌍의 가능성 (주석에서 제안한 바와 같이). 이 그래프에는 최대미디엄미디엄m …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa