«descriptive-complexity» 태그된 질문

서술 적 복잡성은 어떤 논리적 형식주의에서 문제를 표현하는 것이 얼마나 어려운지에 따라 문제를 분류합니다.

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

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

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

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

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

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

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

1
P와 설명의 복잡성
복잡성 동물원에서는 말한다 [ 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 차 …

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

2
FO 속성은 언제 NL- 경도를 제거합니까?
맥락 : 우리는 오직 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, …

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

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

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


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

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.