«finite-model-theory» 태그된 질문

5
P를 많이 캡처하는 유도가없는 논리가 있습니까?
Immerman-Vardi 정리 PTIME (또는 P)를 정렬 구조의 클래스 위에 고정 소수점 연산자와 함께 일차 로직 문장에 의해 설명 될 수 언어의 클래스가 정확하게 중임. 고정 소수점 연산자는 최소 고정 소수점 (Immerman 및 Vardi에서 고려한대로)이거나 인플레이션 고정 소수점 일 수 있습니다. (Stephan Kreutzer, 최소 및 인플레이션 고정 소수점 논리의 표현 적 …
5
계산 가능한 숫자가 합리적인지 또는 정수인지 테스트 할 수 있습니까?
계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
3
일반 언어 클래스를 캡처하는 FO의 최소 확장은 무엇입니까?
맥락 : 논리와 오토마타의 관계 Büchi의 정리에 따르면 문자열에 대한 Monadic 2 차 논리 (MSO)는 일반 언어 클래스를 캡처합니다. 증명은 실제로 문자열을 통해 존재하는 MSO ( 또는 EMSO )가 일반 언어를 캡처하기에 충분 하다는 것을 보여줍니다 . 이것은 일반적인 구조에 비해 MSO 가 ∃ MSO 보다 엄격하게 표현하기 때문에 다소 …
5
모호성과 논리
오토마타 이론 (finite automata, pushdown automata, ...)과 복잡성에는 "모호성"이라는 개념이 있습니다. 적어도 2 개의 별개의 수용 실행을 갖는 단어 가 있으면, 오토 마톤은 모호하다 . 기계는 모든 단어에 대한 경우 -ambiguous 가장에있다가 기계에 의해 허용 받아들이는 별개의 실행 .k w k wwwwkkkwwwkkkwww 이 개념은 문맥이없는 문법에 대해서도 정의됩니다. 문법은 두 …
1
의 순서 목록을 유지
주문 유지 보수 문제점 (또는 "목록의 주문 유지")은 조작을 지원하는 것입니다. singleton: 하나의 항목으로 목록을 작성하고 이에 대한 포인터를 리턴합니다. insertAfter: 항목에 대한 포인터가 주어지면 그 뒤에 새 항목을 삽입하고 새 항목에 대한 포인터를 반환합니다. delete: 항목에 대한 포인터가 주어지면 목록에서 제거합니다. minPointer: 동일한 목록의 항목에 대한 두 개의 포인터가 …
4
유한 모델 찾기
나는 "1 차 공식 에 모델이있다"라는 질문은 일반적으로 결정 불가능 하다는 것을 안다 .ϕϕ\phi 누구든지 유한 모델에 대한 답변을 제공하는 링크 나 책을 줄 수 있습니까? 1 차 수식 가있는 경우 에 유한 모델이 있는지 여부를 결정할 수 있습니까? 나는 그 질문이 잘 알려져 있다고 확신하지만 답을 찾기 위해 어디서부터 …
1
일부 술어가있는 FO- 균일 AC0
제 질문은 유한 모델 이론 / 설명 적 복잡성에 관한 것이므로, 은 "술어 Rs와 단항 술어 P true를 사용하여 유한 이진 단어보다 1 차 단어 1의 위치"를 의미합니다.FO(R)FO(R)FO(R) 내가 알고 싶은, 어떤 caracterisation가 과 R 어떤 술어에 \ mathbb N ^ R 일부 연구 하시나요? 예를 들어 FO (<, +) …
1
효율적인 쿼리를위한 데이터베이스 쿼리 언어
관계형 데이터베이스에 대해 널리 사용되는 쿼리 언어에서는 많은 리소스가 필요한 쿼리를 생성 할 수 있습니다. 실제로 데이터베이스 관리자 는 쿼리 당 메모리 양을 제한 하고 데이터베이스 속도가 느려지면 장기 실행 쿼리를 확인하여이를 관리합니다. 이것은 다소 임시적인 것 같습니다. 이것에 대한 TCS 솔루션이 있습니까? 효율적인 쿼리 만 구현할 수있는 쿼리 언어가 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.