이론 컴퓨터 과학

관련 분야의 이론 컴퓨터 과학자 및 연구자를위한 Q & A

1
DFA에 대한 최소 NFA 계산
몇 년 전 DFA (결정 론적)에서 최소 NFA (비결정론 적 유한 오토 마톤)를 계산하는 것은 수십 년 동안 알려져 왔으며 효율적인 알고리즘. 누구든지 알고리즘을 생각해 냈습니까?O ( n lgn )영형(엔lg⁡엔)O(n \lg n) 빠른 검색을 통해이 논문은 확실히 어려운 문제임을 증명해 주었다. 분명히 알고리즘은 제공되지 않습니다. [1] 최소 NFA 문제는 어려움 …
2
프랙탈 미로의 결정 성
프랙탈 미로는 자체의 사본을 포함하는 미로입니다. 예를 들어, 이 기사 에서 Mark JP Wolf의 다음 내용은 다음과 같습니다 . 마이너스에서 시작하여 플러스로 향하십시오. 더 작은 미로 사본을 입력 할 때는 해당 사본의 문자 이름을 기록해 두십시오. 입력 한 역순으로 입력 한 미로의 각 중첩 사본을 종료해야합니다 (예 : A 입력, …
3
일반 언어 클래스를 캡처하는 FO의 최소 확장은 무엇입니까?
맥락 : 논리와 오토마타의 관계 Büchi의 정리에 따르면 문자열에 대한 Monadic 2 차 논리 (MSO)는 일반 언어 클래스를 캡처합니다. 증명은 실제로 문자열을 통해 존재하는 MSO ( 또는 EMSO )가 일반 언어를 캡처하기에 충분 하다는 것을 보여줍니다 . 이것은 일반적인 구조에 비해 MSO 가 ∃ MSO 보다 엄격하게 표현하기 때문에 다소 …
3
두 개의 이진 검색 트리 병합
임의의 크기와 범위의 두 개의 이진 검색 트리를 병합하는 알고리즘을 찾고 있습니다. 분명 나는이 구현에 대한 갈 것이라고 방법은 그 범위가 다른 나무에 임의의 외부 노드에 들어갈 수있는 전체 하위 트리를 찾을 수있을 것이다. 그러나 알고리즘이 유형의 시간을 실행하는 최악의 경우의 순서 것으로 보인다 및 각각 각 나무의 크기입니다.O(n+m)nm 그러나 …
1
가장자리 및 정점 제거를 통한 그래프 연결
우리가 그래프한다고 가정 해 봅시다 인 경우 -connected 어떤의 제거 정점 및 의 가장자리 항상 잎 연결된 그래프. 예를 들어 표준 정의에 따른 연결 그래프 는 새 정의에 따라 연결입니다. 가 연결 되어 있는지 확인하는 다항식 시간 알고리즘이 있습니까? 여기서 입력은 , 및 입니다.( a , b ) a b …
5
양자 컴퓨팅의 실제 응용 (보안 제외)
우리가 보편적 인 양자 컴퓨터를 만들었다 고 가정 해 봅시다. 현재의 실제 문제로 인해 보안 관련 문제 (암호화, 개인 정보 보호 등)를 제외하고는? 두 가지 모두에 관심이 있습니다. 현재 실용화 할 수없는 문제 현재 해결되고 있지만 상당한 속도 향상은 사용성을 크게 향상시킵니다.
2
경계 트리 폭 그래프의 금지 된 부
이 질문은 이전 질문 중 하나 와 비슷합니다 . 는 최대 t 의 트리 폭 그래프에 대해 금지 된 마이너 인 것으로 알려져 있습니다.케이t + 2케이티+2K_{t+2}티티t 모든 트리 폭의 그래프에 대해 최소한의 금지 된 부 (minor) 인 훌륭하게 구성되고 매개 변수화 된 무한 그래프 그룹 (완전한 그래프 및 그리드 그래프 …
2
유클리드 거리를 기준으로 정렬
는 평면의 점 집합입니다. 임의의 점 x ∉ S 는 동일한 평면에 제공됩니다. 이 작업은 모든 y ∈ S 를 x 와 y 사이의 유클리드 거리로 정렬하는 것입니다.S에스Sx∉S엑스∉에스x \notin Sy∈S와이∈에스y \in Sx엑스xy와이y 두뇌없는 접근법은 모든 y ∈ S에 대해 와 y 사이의 거리를 계산 한 다음 빠른 알고리즘을 사용하여 정렬하는 …
1
스위치 네트워크 문제의 복잡성
스위치 네트워크는 (이름이 발명되는) 노드의 세 가지 유형으로 구성됩니다 하나의 시작 노드 한쪽 끝 노드 하나 이상의 스위치 노드 스위치 노드에는 3 개의 출구가 있습니다 : 왼쪽, 위, 오른쪽; 는 두 개의 상태 L과 R 과 목표 상태 TL 또는 TR 입니다. 각 스위치는 다음 규칙에 따라 통과 할 수 …
2
TCS 회의에서 ACM / IEEE의 중요성
최근에 저는 ACM 지원 회의에있었습니다. 연회 기간 동안 회의 주최자는 회의의 미래와 과거에 대해 이야기했습니다. 그들은 2010 년 컨퍼런스 기간 동안 5000 $의 손실이 발생했다고 말했습니다. 그들은 우리에게 ACM에 8000 $ (정확히 기억한다면 예산의 10 %)이 있음을 알 수있는 이전 회의 예산을 보여주었습니다. 어쩌면 내가 아직 현장에 완전히 나가지 않았기 …
1
작은 유한 필드에 대한 빠른 컨볼 루션
길이의 순환 회선에 대한 가장 잘 알려진 방법은 무엇입니까 작은 필드 위에이 즉시 | F | ≪ n ? 나는 특히 일정한 크기의 필드 또는 F = F 2에 관심이 있습니다. 일반적인 점근 비 효율성 진술 및 참고 문헌은 대단히 높이 평가됩니다.nnn|F|≪n|F|≪n|\mathbb{F}| \ll nF=F2F=F2\mathbb{F} = \mathbb{F}_2 배경 : 하자 필드, …
2
평범한 폴리 타임 감소를 사용하여 강력한 NP- 경도를 실제로 나타낼 수 있습니까?
나는 최근에 문제가 강력한 NP- 하드 문제에서 (다항식 시간으로) 간단히 줄임으로써 문제가 NP- 하드 였다는 증거를 최근에 읽었습니다. 이것은 나에게 의미가 없었습니다. 축소에 사용 된 숫자와 축소하려는 문제의 인스턴스가 문제 크기에서 다항식으로 묶여 있음을 보여 주어야한다고 생각했을 것입니다. 나는 Wikipedia가 이런 종류의 증거에 대해 동일한 일반적인 지침 을 제공하는 것을 …
1
부정적인 적대적 방법의 추가 힘 사용
부정적 대 적법 ( )은 양자 질의 복잡성을 특징 짓는 SDP입니다. 그것은 널리 사용되는 적대적 방법 ( A D V ) 의 일반화이며, 적대적 방법 을 방해 한 두 가지 장벽을 극복합니다.A D V±ㅏ디V±ADV^\pmA D Vㅏ디VADV 속성 테스트 장벽 : 모든 0 인스턴스가있는 경우 -far 모두 1 인스턴스에서 다음 대적 …
1
일반 그래프에서 단순 - 경로 수를 계산하기위한 근사치
주어진 시작 정점 에서 주어진 끝 정점 이르기까지 지향 그래프의 간단한 경로 수를 근사하기위한 좋은 다항식 시간 알고리즘이 있다고 들었습니다 . 이 주제에 대한 좋은 언급을 아는 사람이 있습니까?에스에스s티티t 배경 : 일반 그래프에서 정확한 경로 수를 세는 것은 #P 완료이지만 문제에 대한 다항식 시간 근사가 존재할 수 있습니다. 나는 특히 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.