이론 컴퓨터 과학

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

2
세트 포장용 알고리즘
일부 NP-Hard 문제의 경우 빠른 지수 시간 정확한 알고리즘을 개발하는 데 많은 작업이있는 것 같습니다 (예 : 형식 A의 결과 : 알고리즘 A는 c를 작은 시간으로 O (c ^ n) 시간에 문제 를 해결 함 ). NP- 문제 (예 : 측정 및 정복 : 간단한 독립 세트 알고리즘 SODA'06 )에 …
3
프로그래밍 언어의 형식적 의미
저는 프로그래밍 언어 이론에 익숙하지 않으며 프로그래밍 언어의 형식적 의미론을위한 리소스에 대한 좋은 리소스를 찾고 있습니다. 특히 구조적 작동 의미론을 찾고 있습니다. 책 추천을 받았습니다. 그러나 나는 더 입문적인 수준의 리소스를 찾고 있습니다. 특히 튜토리얼, 웹 사이트 및 무료 도서 권장 사항을 환영합니다.
2
방향 그래프의 커버 시간
그래프를 무작위로 걷 으면 피복 시간 이 모든 정점에 닿은 첫 번째 시간 (예상 단계 수)입니다. 무 방향 그래프로 연결된 경우, 커버 시간은 의해 상한으로 알려져 있습니다 O(n3)O(n3)O(n^3). 커버 시간 지수가 강력하게 연결된 digraph가 있습니다. 이것의 예는 정점 의 방향 지정 사이클 과 모서리 로 구성된 이력 입니다. 정점 부터 …
4
NP- 완전 문제에 대한 올바른 해결책이 주어지면 두 번째 해결책을 찾는 복잡성
NP- 완전 문제에 대한 두 번째 해결책을 찾는 문제의 NP- 완전성에 관한 일반적인 결과 또는 예가 있는지 확인하려고합니다. 보다 정확하게는 다음 형식의 문제에 관심이 있습니다. 솔루션을 감안할 때 인스턴스에 I NP에 완성 문제의 해결책이 S ' ≠ S 에 내가 ?SSSIIIS′≠SS′≠SS' \neq SIII 이러한 종류의 문제, NP- 완료 여부와 일반적인 …
1
심플 렉스 알고리즘에 대한 병리학 적 인스턴스의 구조
내가 아는 한, 단순 알고리즘에 대한 결정 론적 피벗 규칙에는 알고리즘이 최적의 값을 찾기 위해 지수 시간 (또는 적어도 다항식은 아님)이 필요한 특정 입력이 있습니다. 보통 (즉, 대부분의 입력에서) 심플 렉스 알고리즘이 빠르게 종료되므로 이러한 인스턴스를 '병리학 적'이라고하자. 나는 수학적 프로그래밍 과정에서 특정 규칙에 대한 병리학 적 사례의 표준 예가 …
5
컴퓨터가 시뮬레이션 된 세계의 일부로 스스로를 시뮬레이션 할 수 있습니까?
미래의 특정 시점에서 우주의 모든 원자 상태를 계산하는 컴퓨터를 만든다고 가정 해 봅시다. 우주는 정의상 존재하는 모든 것 (및 나머지와 상호 작용하는 것)이기 때문에 구축중인 컴퓨터도 포함합니다. 컴퓨터 자체의 원자를 포함하여 컴퓨터를 사용하여 우주의 모든 원자의 상태를 계산할 수 있습니까? 다른 이론적 또는 실제적인 이유로 그러한 컴퓨터를 사용할 수 없다면 …
1
선형 확장 그래프의도 세트
선형 확장 poset의 요소의 선형 차수 ,되도록 에 의미 에서 모두 .L엘LP피\mathcal{P}P피\mathcal{P}x≤y엑스≤와이x \leq yP피\mathcal{P}x≤y엑스≤와이x \leq yL엘Lx,y∈P엑스,와이∈피x,y\in\mathcal{P} 직진 그래프는 2 개 개의 선형 확장되어 인접한 poset의 선형 확장 세트에 그래프 정확히 디 FF 경우 ER 요소 중 하나에 인접 스왑한다. 다음 그림에는 - poset로 알려진 poset 와 선형 확장 그래프가 있습니다. …
3
계산에서 링의 공식 표현
일부 유도 된 하위 그래프를 탐지하기 위해 대수적 방법을 사용하는 것에 관한 논문을 읽는 동안 가장자리 이상 은 정류 대수와 그래프 이론을 연결하는 중요한 도구 인 것으로 보입니다 . 대수 객체의 계산에 익숙하지 않기 때문에이 주제에 대한 참조 나 책이 있습니까? 튜링 머신에서 링 R을 나타내는 데있어서의 특수성과 R의 기본 …
5
개방형 또는 대화 형 구속 조건 만족
과거에는 SAT와 규칙적인 제약 조건 만족을 엔진의 핵심 워크로 사용하여 조정 모델을 구현했습니다. 이 작업 라인을 계속하면서 모델을 대화식으로 만들고 싶습니다.이 작업을 수행하는 가장 좋은 방법은 더 이상 블랙 박스가 아닌 제약 조건 솔버를 여는 것입니다. 따라서 제약 조건에 외부 변수 , 술어 및 함수 라고 부르는 제약 조건이있는 제약 …
17 sat  lo.logic  csp 
3
무작위로 또는 아닙니다?
이 질문은 조지아 기술 알고리즘 및 임의성 센터 의 티셔츠에서 영감을 얻었습니다. 특히 적대적인 환경에서 작동 할 때 무작위 배정이 도움이되는 많은 예가 있습니다. 무작위 화가 도움이되지 않거나 다 치지 않는 설정도 있습니다. 내 질문은 : 무작위 화 (일부 합리적인 방식으로)하면 실제로 어떤 설정이 손상됩니까? 문제의 복잡성, 입증 가능한 보증, …
3
고정도를 갖는 임의 방향 그래프의 속성
고정 외도 갖는 임의 방향 그래프의 속성에디디d 관심이 있습니다 . 각 꼭지점이 d 이웃을 선택하는 무작위 그래프 모델을 상상하고 있습니다 (예 : 교체) uar 질문 : 임의의 그래프에서 임의의 보행의 고정 분포 및 혼합 시간에 대해 알려진 것이 있습니까 (다양한 값 )? 디디d 부울 알파벳에 대한 임의의 오토마타 모델에 해당하는 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.