«reference-request» 태그된 질문

나는 오늘 하한을 가르쳤으며 , 한 학생은 라는 이유에 대해 물었습니다 . 공식적인 설명은 "A"는 "Alternation"을 나타냅니다.AC0AC0AC^0ACACAC 몇 년 전에 Nick Pippenger Steve Cook이 Nick Pippenger (Nick의 수업)의 이름을 , 나중에 Nick이 Steve (Steve의 수업)의 이름을 지명 했다는 말을 모호하게 기억 합니다.NCNCNCSCSCSC 이야기 의 부분은 예를 들어 Wikipedia 와 복잡한 …

17 cc.complexity-theory  reference-request  ho.history-overview 

나는 그래프 동형 (있는 그래프의 클래스에 대한 책을 읽은하고 )에 P . 이러한 경우 중 하나는 여기에 설명 된 바운딩 된 원자가 그래프 (각 정점의 최대 각도)입니다 . 그러나 나는 너무 추상적이라는 것을 알았습니다. 누군가 나에게 해설 적 인 성격에 대한 언급을 제안 할 수 있다면 감사 할 것입니다. 나는 …

17 ds.algorithms  reference-request  graph-theory  graph-isomorphism 

몇 년 전 DFA (결정 론적)에서 최소 NFA (비결정론 적 유한 오토 마톤)를 계산하는 것은 수십 년 동안 알려져 왔으며 효율적인 알고리즘. 누구든지 알고리즘을 생각해 냈습니까?O ( n lgn )영형(엔lg⁡엔)O(n \lg n) 빠른 검색을 통해이 논문은 확실히 어려운 문제임을 증명해 주었다. 분명히 알고리즘은 제공되지 않습니다. [1] 최소 NFA 문제는 어려움 …

17 ds.algorithms  reference-request  fl.formal-languages  automata-theory  optimization 

맥락 : 논리와 오토마타의 관계 Büchi의 정리에 따르면 문자열에 대한 Monadic 2 차 논리 (MSO)는 일반 언어 클래스를 캡처합니다. 증명은 실제로 문자열을 통해 존재하는 MSO ( 또는 EMSO )가 일반 언어를 캡처하기에 충분 하다는 것을 보여줍니다 . 이것은 일반적인 구조에 비해 MSO 가 ∃ MSO 보다 엄격하게 표현하기 때문에 다소 …

17 reference-request  lo.logic  regular-language  finite-model-theory 

스위치 네트워크는 (이름이 발명되는) 노드의 세 가지 유형으로 구성됩니다 하나의 시작 노드 한쪽 끝 노드 하나 이상의 스위치 노드 스위치 노드에는 3 개의 출구가 있습니다 : 왼쪽, 위, 오른쪽; 는 두 개의 상태 L과 R 과 목표 상태 TL 또는 TR 입니다. 각 스위치는 다음 규칙에 따라 통과 할 수 …

17 ds.algorithms  reference-request  graph-algorithms  np 

길이의 순환 회선에 대한 가장 잘 알려진 방법은 무엇입니까 작은 필드 위에이 즉시 | F | ≪ n ? 나는 특히 일정한 크기의 필드 또는 F = F 2에 관심이 있습니다. 일반적인 점근 비 효율성 진술 및 참고 문헌은 대단히 높이 평가됩니다.nnn|F|≪n|F|≪n|\mathbb{F}| \ll nF=F2F=F2\mathbb{F} = \mathbb{F}_2 배경 : 하자 필드, …

17 ds.algorithms  reference-request 

부정적 대 적법 ( )은 양자 질의 복잡성을 특징 짓는 SDP입니다. 그것은 널리 사용되는 적대적 방법 ( A D V ) 의 일반화이며, 적대적 방법 을 방해 한 두 가지 장벽을 극복합니다.A D V±ㅏ디V±ADV^\pmA D Vㅏ디VADV 속성 테스트 장벽 : 모든 0 인스턴스가있는 경우 -far 모두 1 인스턴스에서 다음 대적 …

17 cc.complexity-theory  reference-request  quantum-computing  query-complexity  property-testing 

주어진 시작 정점 에서 주어진 끝 정점 이르기까지 지향 그래프의 간단한 경로 수를 근사하기위한 좋은 다항식 시간 알고리즘이 있다고 들었습니다 . 이 주제에 대한 좋은 언급을 아는 사람이 있습니까?에스에스s티티t 배경 : 일반 그래프에서 정확한 경로 수를 세는 것은 #P 완료이지만 문제에 대한 다항식 시간 근사가 존재할 수 있습니다. 나는 특히 …

17 ds.algorithms  reference-request  graph-algorithms  approximation-algorithms  counting-complexity 

n 개의 볼을 n 개의 빈으로 던지면 가장 많이 적재 된 빈에 O(logn)O(log⁡n)O(\log n) 볼 이있을 가능성이 높습니다 . 일반적으로, 빈 에서 공에 대해 물을 수 있습니다 . Raab과 Steger의 RANDOM 1998의 논문은 증가 시키면 의 예상 값보다 조금 더 높아질 확률 이 급격히 감소 함을 보여 주면서이를 자세히 조사합니다 …

17 reference-request  pr.probability 

그래프 의 교집합 수 (모든 모서리를 덮는 데 필요한 최소의 수수께끼) 를 계산하는 매개 변수화 된 복잡성에 대해 알려진 것이 있다면 ? 긴 NP-완료된 것으로 알려져, 그것은 커널을 가지고 있기 때문에 그것은 분명히 FPT의있다 : 당신이 그래프 커버 할 수있는 경우 파벌을 한 후가 최대 2 K 정점의 다른 폐쇄 …

17 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

용어가 오버로드되었으므로 간단한 정의가 먼저 발생합니다. 포 세트 는 부분 순서 ≤가 부여 된 세트 입니다. 두 요소 감안할 때 , b를 ∈ X , 우리가 정의 할 수 있습니다 X ∨ Y 상단에 결합 된 그들의 적어도 (가입) X를 , 유사하게 정의 X ∧ Y (대회) 바인딩 낮은 최대로 …

17 reference-request  co.combinatorics  metrics  lattice  order-theory 

저는 프로그래밍 언어 이론에 익숙하지 않으며 프로그래밍 언어의 형식적 의미론을위한 리소스에 대한 좋은 리소스를 찾고 있습니다. 특히 구조적 작동 의미론을 찾고 있습니다. 책 추천을 받았습니다. 그러나 나는 더 입문적인 수준의 리소스를 찾고 있습니다. 특히 튜토리얼, 웹 사이트 및 무료 도서 권장 사항을 환영합니다.

17 reference-request  pl.programming-languages  semantics  formal-systems 

NP- 완전 문제에 대한 두 번째 해결책을 찾는 문제의 NP- 완전성에 관한 일반적인 결과 또는 예가 있는지 확인하려고합니다. 보다 정확하게는 다음 형식의 문제에 관심이 있습니다. 솔루션을 감안할 때 인스턴스에 I NP에 완성 문제의 해결책이 S ' ≠ S 에 내가 ?SSSIIIS′≠SS′≠SS' \neq SIII 이러한 종류의 문제, NP- 완료 여부와 일반적인 …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

내가 아는 한, 단순 알고리즘에 대한 결정 론적 피벗 규칙에는 알고리즘이 최적의 값을 찾기 위해 지수 시간 (또는 적어도 다항식은 아님)이 필요한 특정 입력이 있습니다. 보통 (즉, 대부분의 입력에서) 심플 렉스 알고리즘이 빠르게 종료되므로 이러한 인스턴스를 '병리학 적'이라고하자. 나는 수학적 프로그래밍 과정에서 특정 규칙에 대한 병리학 적 사례의 표준 예가 …

17 cc.complexity-theory  reference-request  linear-programming  simplex 

일부 유도 된 하위 그래프를 탐지하기 위해 대수적 방법을 사용하는 것에 관한 논문을 읽는 동안 가장자리 이상 은 정류 대수와 그래프 이론을 연결하는 중요한 도구 인 것으로 보입니다 . 대수 객체의 계산에 익숙하지 않기 때문에이 주제에 대한 참조 나 책이 있습니까? 튜링 머신에서 링 R을 나타내는 데있어서의 특수성과 R의 기본 …

17 ds.algorithms  reference-request  algebra  algebraic-complexity