이론 컴퓨터 과학

많은 논리 문제 (예를 들어, 여러 모달 논리의 만족도 문제)를 결정할 수없는 것으로 알려져 있습니다. 알고리즘 이론, 예를 들어 조합 최적화에서 결정 불가능한 많은 문제가 또한있다. 그러나 실제로 휴리스틱과 근사 알고리즘은 실제 알고리즘에 적합합니다. 따라서 논리 문제에 대한 대략적인 알고리즘도 적합 할 수 있습니다. 그러나 내가 찾은이 라인을 따라 유일한 …

13 lo.logic  approximation-algorithms  undecidability 

합리적인 항목이 있는 행렬 A 가 주어 집니다. A 를 대각선 으로 확인할 수있는 복잡성은 무엇입니까 ?n × nn×nn\times nㅏAAㅏAA 나는 이것이 P로 할 수 있다고 생각하지만 참조를 모른다. 그러나 더 흥미로운 질문은이 문제를 포착하기 위해 더 나은 복잡성 클래스가 있습니까? 모든 안내 / 의견을 환영합니다! 감사.

13 cc.complexity-theory  linear-algebra  matrices 

나는 의 유한 단어의 두 정규 언어 Σ∗Σ∗\Sigma^*와 무한 단어 사이에 "친밀 성"이라는 개념을 정의하고 싶습니다 ΣωΣω\Sigma^\omega. 기본 개념은 두 단어가 많은 단어로 다르지 않은 경우 두 언어가 가까이 있기를 원한다는 것입니다. 우리는 어떤 방법으로 편집 거리를 사용할 수도 있습니다 ...이 문제에 대한 좋은 참고 자료를 찾을 수 없었습니다. 나는 …

13 reference-request  fl.formal-languages  regular-language 

유한 오토마타가 인식하는 초기 및 수용 상태가 동일한 언어 클래스에 대해 알려진 것은 무엇입니까? 이것은 정규 언어의 적절한 하위 집합입니다 (모든 언어에는 빈 문자열이 포함되어 있기 때문에). 간단한 대수적 특성이 있습니까? 비 결정적 오토마타가 동일한 초기 및 수용 상태 집합을 갖는 것으로 인식되는 언어에 적합합니다.

13 fl.formal-languages  automata-theory  algebra  regular-language 

볼이 무작위 로 n 개의 빈에 균일하게 배치되는 경우 , 가장 많이 적재 된 빈에는 높은 확률로 그 안에 O ( lg n / lg lg n ) 볼이 있습니다. 에서 "단순 도표화 해싱의 힘" , Pătraşcu 및 Thorup 언급 "제한된 독립 애플리케이션을위한 Chernoff-Hoeffding가 경계" ( 거울 ) 볼가 배포하는 …

13 ds.data-structures  randomness  hash-function  independence 

지난 주에 나는 Leslie의 Lamport가 1982 년에 해결 한 문제, 해결되지 않은 문제 및 동시성에서의 비 문제 에 관한 회의를 읽었습니다 . 논문은 쉽게 읽을 수 있지만 제가 생각하게 된 것 중 하나는 다음과 같습니다. 어떤 문제가 상호 배제 문제 나 생산자-소비자 문제 또는이 둘의 조합으로 간주 될 수 있습니까? …

13 reductions  dc.distributed-comp  concurrency 

n 크기 의 정수 테이블 를 유지하고 시간 에서 다음 작업을 허용 하는 데이터 구조를 찾고 있습니다.티tt엔nnO ( 로그n )O(log⁡n)O(\log n) t [ a ] , t [ a + 1 ] , … , t [ b ]증가 ( a , b )increase(a,b)\text{increase}(a,b) 는 시킵니다.t [ a ] , …

13 ds.data-structures  cg.comp-geom 

학계 밖에서 내 '권력'의 용도는 무엇입니까? 논문을 가르치고 출판하는 것 외에 무엇을 할 수 있습니까? 어디에서 힘을 발휘할 수 있습니까? 논증을 위해 : 알고리즘 / TCS에서 박사 학위를 받았으며 많은 '물건'을 배웠으며 기존 알고리즘 등에 대한 획기적인 한계를 생각해 냈으며 알고리즘 분석에도 강력한 기반이 있다고 가정하십시오. , 근사 / 랜덤 …

13 soft-question  big-picture  career 

동기 부여 : 공동 저자가 원고를 편집하고 편집 내용을 명확하게 요약하고 싶습니다. 도구 -like 모든 "DIFF는"당신이 경우에 쓸모없는 경향이 모두 주위에 텍스트를 이동 (예를 들어, 다시 조직 구조) 및 지역 편집을하고. 제대로 이해하기가 정말 어렵습니까? 정의 : 허용되는 작업이 다음과 같은 최소 편집 거리를 찾고 싶습니다. "저렴한"작업 : 단일 문자 …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

있음을 불러 폭 해상도의 논박의 CNF 수식의 발생 임의 절 리터의 최대 개수 . 모든 내용 , 시켰음 수식있다 마다 해상도 논박 3 CNF 명세서 적어도 폭을 요구 .F R w F F w아르 자형RR에프FF아르 자형RR승ww에프FF에프FF승ww 너비 4의 분해능 반박이없는 3-CNF (가능한 한 작고 간단한)에서 만족할 수없는 공식의 구체적인 예가 …

13 cc.complexity-theory  lo.logic  sat  proof-complexity 

입력 정수가 일부 다항식에 의해 제한되는 경우 다항식 (의사 다항식) 시간 알고리즘을 사용하므로 파티션 문제는 NP가 거의 없습니다. 그러나 입력 정수가 다항식으로 묶여 있어도 3- 파티션은 NP- 완전한 문제입니다. 라고 가정하면 중간 NP 완료 문제가 존재 함을 증명할 수 있습니까? 대답이 '예'인 경우, "자연적인"후보 문제가 있습니까?P≠NPP≠NP\mathsf{P \ne NP} 여기서 중간 …

13 cc.complexity-theory  np-hardness  partition-problem 

나는 다음 게임을 만났다. 요청에 따라 마이그레이션합니다. 벌레가 서클을 방문하고 있으며 적이 여행 시간을 최대화하기를 원합니다. 적은 매 턴마다 원을 놓습니다. 버그는 현재 위치에서 최신 원의 중심을 향해 직접 걷다가 원의 내부를 만나면 멈 춥니 다 (따라서 원이 해당 위치를 덮으면 재생되지 않습니다). 이것은 버그의 차례입니다. 적에게 사용할 수 있는 …

13 gt.game-theory 

그것은 쉽게 볼 수 있습니다 그 경우 다음 거기에 총 문제를 검색 다항식 시간에 해결할 수없는 (기준 총 검색 문제를 만들 회원 증인과 비회원 증인 모두).NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}NPNP\mathsf{NP} 대화도 마찬가지입니까, 즉 다항식 시간에 해결할 수없는 총 검색 문제가 합니까?NPNP\mathsf{NP}NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}

13 cc.complexity-theory  reference-request  search-problem 

우리 는 길이 n 의 모든 입력 에서 최대 f ( n ) 단계를 만드는 결정 론적 멀티 테이프 튜링 기계 M 이 있고 각 n 에 대해 약간의 입력 이있는 함수 은 시간 구성 가능 하다고 말합니다. 길이 n 은 M 이 정확히 f ( n ) 단계를 만든다.에프: …

13 cc.complexity-theory  time-complexity  terminology 

이 질문은 박스 제약 (box-QP)을 가진 2 차 프로그래밍 문제, 즉 양식의 최적화 문제에 관한 것입니다. 최소화 하고 x ∈ [ 0 , 1 ] n에 적용 합니다.에프( x ) = x티A x + c티엑스f(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x}x ∈[0,1 ]엔x∈[0,1]n\mathbf{x} \in [0,1]^n 가 양의 반정의 라면 …

13 ds.algorithms  optimization  exp-time-algorithms