«descriptive-complexity» 태그된 질문

Immerman-Vardi 정리 PTIME (또는 P)를 정렬 구조의 클래스 위에 고정 소수점 연산자와 함께 일차 로직 문장에 의해 설명 될 수 언어의 클래스가 정확하게 중임. 고정 소수점 연산자는 최소 고정 소수점 (Immerman 및 Vardi에서 고려한대로)이거나 인플레이션 고정 소수점 일 수 있습니다. (Stephan Kreutzer, 최소 및 인플레이션 고정 소수점 논리의 표현 적 …

38 cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory 

제목에 거의 모든 내용이 나와 있지만 약간의 배경과 관심있는 특정 예를 추가 할 수 있다고 생각합니다. Immerman 및 Fagin과 같은 서술 적 복잡성 이론가들은 논리를 사용하여 가장 잘 알려진 복잡성 클래스를 많이 특징지었습니다. 예를 들어, NP는 2 차 존재 쿼리로 특성화 될 수 있습니다. P는 최소 고정 소수점 연산자가 추가 …

20 cc.complexity-theory  quantum-computing  descriptive-complexity 

관계형 데이터베이스 에서 쿼리 대한 답을 찾으려면 시간 가 필요하며 지수 제거 할 수없는 것으로 알려져 있습니다. .D | D | | Q | | Q |큐QQ디DD| D || Q ||D||Q||D|^{|Q|}| Q ||Q||Q| 로 매우 클 수 데이터베이스가 실제로는 전혀 작동 이유, 우리는 궁금합니다.디DD 실제 응용 프로그램에서 일반적인 쿼리가 전혀 …

19 cc.complexity-theory  time-complexity  descriptive-complexity  db.databases 

주문 유지 보수 문제점 (또는 "목록의 주문 유지")은 조작을 지원하는 것입니다. singleton: 하나의 항목으로 목록을 작성하고 이에 대한 포인터를 리턴합니다. insertAfter: 항목에 대한 포인터가 주어지면 그 뒤에 새 항목을 삽입하고 새 항목에 대한 포인터를 반환합니다. delete: 항목에 대한 포인터가 주어지면 목록에서 제거합니다. minPointer: 동일한 목록의 항목에 대한 두 개의 포인터가 …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

CMSOL은 Monadic Second Order Logic을 계산합니다. 즉, 도메인이 꼭짓점과 가장자리의 집합 인 그래프의 논리입니다. 꼭짓점-정점 인접성 및 가장자리-정점 발생률에 대한 술어가 있으며 가장자리, 꼭짓점, 가장자리 세트 및 꼭짓점에 대한 수량 화가 있습니다. 세트하고있다 술어 하는 크기 여부 표현 이고 n은 모듈로 P .SnpCardn,p(S)Cardn,p(S)\textrm{Card}_{n,p}(S)SSSnnnppp Courcelle 유명한 정리 된 경우한다고 ΠΠ\Pi 그래프의 …

12 ds.algorithms  reference-request  graph-algorithms  descriptive-complexity  cliquewidth 

종이 Lauri Hella 및 José María Turull-Torres, 고차원 논리를 사용한 쿼리 쿼리 , TCS 355 197–214, 2006. doi : 10.1016 / j.tcs.2006.01.009 가변 순서 논리, 논리 VO를 제안합니다. 이를 통해 변수에 대한 차수를 수량화 할 수 있습니다. VO는 매우 강력하며 계산할 수없는 쿼리를 표현할 수 있습니다. (아래 Arthur Milchior가 지적한 …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

125 페이지로 Immerman (설명 적 복잡성, 1999) 선물 존재 모나드 두 번째 순서 (Ajtai-FAGIN 게임)에 대한 EF 게임 다음과 같이 단어 MSO하는 일반 언어에 해당 게임은 기록 할 수 있습니다.∃∃\exists 언어 : 그리고 데릴라 다음 게임에서 승리 전략이없는 경우 만 규칙적 1. 삼손 선택 , 2 데릴라를 선택한다면 , 3 …

11 lo.logic  automata-theory  descriptive-complexity 

복잡성 동물원에서는 말한다 [ 1 ], 기술적 복잡성, 즉 PPP 식의 세 가지 종류로 정의 될 수 있고, FO(LFP)FO(LFP)FO(LFP) 도 FO(nO(1))FO(nO(1))FO(n^{O(1)}) , 및 또한 SO(HORN)SO(HORN)SO(HORN) . 그러나, 예를 들어 몇 가지 예외가 있는데, EvennessEvennessEvenness (FP가 LFP와 같은 표현력을 갖는다) FP로 표현 될 수 없다. ConnectivityConnectivityConnectivity 및 2−colourability2−colourability2-colourability 는 1 차 …

10 lo.logic  polynomial-time  descriptive-complexity 

NP 문제 의 특정 클래스 에는 이분법 정리 가 있으며 클래스의 모든 작업이 NP 완료 이거나 P에 있음을 보장합니다 . 가장 잘 알려진 결과는 Schaefer의 이분법 정리 와 여러 일반화입니다. 이 이분법 정리를 증명하는 것은 실제로 쉽지 않다는 것을 이해합니다. 왜 특정 클래스에는 이분법 정리가 있고 다른 클래스에는 그렇지 않은지에 …

10 cc.complexity-theory  np  descriptive-complexity 

맥락 : 우리는 오직 digraph 만 고려한다. CYCLE을주기가있는 그래프의 언어로 지정하십시오. NL 완료 문제입니다. HASEDGE를 하나 이상의 모서리가있는 그래프의 언어로 설정하십시오. 그런 다음 사소한 는 더 이상 NL 하드가 아니며 CYCLE ∪ ¯ HASEDGE 는 그대로 유지됩니다.CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE}CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} 실제 문제 : 언어 는 여전히 NL-hard입니다.CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}\text{CYCLE} \cup \{(V, …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

에서 이 질문에 , 그것은 쌀의 정리의 설명 복잡성 버전이 있다는 것을 언급했다. 나는 다음 정리의 증거를 발견했다. 복잡성 수준을 감안할 때 C 에서 언어의 사소 특성 C가 계산 될 수없는 C 나는 이전에 내가 찾은 증거를 게시했지만, 너무 길었고이 논문이 이미 그 정리에 대한 증거를 포함하고 있다는 의견에서 지적 …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^* 를 순열 이라고하자 . 반면 있습니다 ππ\pi 무한 도메인에 작용하여, 그 설명은 유한 수 있습니다. 으로 설명 , 내가 설명하는 프로그램을 의미 ππ\pi 의 기능을. (Kolmogorov 복잡도와 마찬가지로) 아래 설명을 참조하십시오. 예를 들어, NOT 함수는 그러한 순열 중 하나입니다. NOT (x) 함수 y = x라고하자 …

10 cc.complexity-theory  co.combinatorics  cr.crypto-security  descriptive-complexity  one-way-function 

닫은. 이 질문은 주제에 맞지 않습니다 . 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? 이론적 인 컴퓨터 과학 스택 교환에 대한 주제가 되도록 질문을 업데이트하십시오 . 휴일 칠년 전에 . " "를 1 차 공식으로 어떻게 표현할 수 있습니까?P=PSPACEP=PSPACEP=PSPACE 어떤 수준의 산술 계층 구조에이 수식이 포함되어 있습니까 (그리고 현재 포함 …

9 cc.complexity-theory  lo.logic  descriptive-complexity 

논문을 더 잘 이해하기 위해 최소 고정 점 논리에 대해 간략히 이해하려고합니다. 내가 붙어있는 몇 가지 포인트가 있습니다. 경우 그래프이고G = ( V, E)G=(V,E)G = (V,E) Φ ( P) = { ( a , b ) ∣ G ⊨ E( a , b ) ∨ P( a , b ) …

9 lo.logic  descriptive-complexity  finite-model-theory 

나는 p-Optimal Proof Systems and Logic for PTIME 논문을 이해 하려고 노력하고 있습니다. 이 논문 에는 증명 시스템 이라는 개념 이 있으며 직관을 얻지 못했습니다. Σ = { 0 , 1 }Σ={0,1}\Sigma = \{0,1\} ... 하위 집합의 문제를 식별합니다. 큐QQ 에 Σ※Σ∗\Sigma^*. 직감은 우리가 특정 구조를 인코딩한다는 것입니다. Σ※Σ∗\Sigma^* (예 …

9 lo.logic  descriptive-complexity  proof-complexity