이론 컴퓨터 과학

구약 적으로, 행렬 곱셈 지수 의 정의 는 알려진 n ω 행렬 곱셈 알고리즘 이 존재하는 가장 작은 값 이다. 이것은 공식적인 수학적 정의로 받아 들일 수 없으므로 기술적 정의는 모든 t에 대한 부정확 한 것으로 추측하여 n t 에 행렬 곱셈 알고리즘이 있습니다.ωω\omeganωnωn^{\omega}tttntntn^t 이 경우에, 우리는에 매트릭스 곱셈 알고리즘가 …

15 ds.algorithms  linear-algebra 

이 질문은 다른 게시물과 밀접한 관련이 있습니다. NP 어려운 문제의 단계 전환 이지만 다소 다릅니다. 그 질문은 NP 하드 문제의 특정 사례의 경도에 관한 것이지만, 이것은 동일한 사례의 난이도를 평가 하는 것에 관한 것 입니다. Phase Transition 이라는 효과에 대한 참고 문헌이 많이 있습니다 . 특히 결막 정규형 (CNF)의 랜덤 …

15 cc.complexity-theory  np-hardness  sat 

유형 a의 요소 세트를 저장해야합니다. 그래서 비교하는 부분적으로 정렬되어 입력 1 및 2 작은 반환 할 큰은 같거나 비교할.a1a1a_1a2a2a_2 해시 테이블의 한 가지 문제는 두 개의 동일한 요소가 다르게 표현 될 수 있으며, 동등성과 일치하는 해싱 함수에 액세스 할 수 없다는 것입니다. 두 요소를 비교하는 것은 시간이 오래 걸리므로 비교를 …

15 ds.data-structures  functional-programming  sorting 

주문 유지 보수 문제점 (또는 "목록의 주문 유지")은 조작을 지원하는 것입니다. singleton: 하나의 항목으로 목록을 작성하고 이에 대한 포인터를 리턴합니다. insertAfter: 항목에 대한 포인터가 주어지면 그 뒤에 새 항목을 삽입하고 새 항목에 대한 포인터를 반환합니다. delete: 항목에 대한 포인터가 주어지면 목록에서 제거합니다. minPointer: 동일한 목록의 항목에 대한 두 개의 포인터가 …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

동일한 객체가 제품과 보조 제품 모두 인 경우 카테고리에는 2 등분 이 있습니다. 부산물이있는 카테고리의 증거 이론을 조사한 사람이 있습니까? 가장 잘 알려진 예는 직접 합과 직접 곱 구성이 동일한 벡터 공간을 제공하는 벡터 공간 범주입니다. 이것은 벡터 공간과 선형 맵이 선형 로직의 약간 퇴화 된 모델이라는 것을 의미하며,이 퇴화를 …

15 reference-request  lo.logic  pl.programming-languages  type-theory  ct.category-theory 

보편적 인 근사 정리를 통해 단일의 숨겨진 계층과 임의의 활성화 기능을 가진 신경망이 모든 연속 기능에 근접 할 수 있다는 것이 알려져 있습니다. 범용 함수 근사 기인 다른 모델

15 machine-learning  function  approximation 

실제로 두 가지 질문이 있습니다. 의미론과 관련하여 누가 논리적 관계를 처음 사용 했습니까? 나는 그것들을 Reynold의 " 직접과 연속 의미론의 관계에 관한 것 "으로 거슬러 올라갔지 만 철저한 검색을했다고 주장 할 수는 없다. 나는 이전에 데이트 한 논리적 관계 (Tait, '67)에 대한 언급을 찾았지만 의미론과 관련이 없다. 논리적 관계에 대한 …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

제목 용어를 매우 느슨하게 사용합니다. 수학적 기초를 포함하여 진화 게임 이론에 대한 많은 연구가 있습니다. 나는 "진화적인 게임과 인구 역학"을 추천 받았지만 아직 그것을 탐구하지는 않았습니다. 이 사이트에서 인기있는 주제 인 알고리즘 게임 이론에 대한 많은 작업도 있습니다. 내가보고 싶은 것은 특정 진화 역학에 대한 계산 복잡성 또는 수렴 진술을 …

15 reference-request  gt.game-theory  genetic-algorithms  evolutionary-game-theory 

표준 mu-recursive 연산자를 통해 Ackerman 함수 (실제로 Rózsa Péter와 Raphael Robinson이 제안한 버전에 관심이 있습니다)를 빌드하는 방법을 알려 주시겠습니까? 나는 Péter와 Robinson의 원본 논문을 사용해 보았지만 Péter의 논문은 영어와 Robinson의 논문 "Recursion and Double Recursion"및 "Primitive Recursive Functions"와 다른 언어를 사용합니다. 우선 도움이되지 않습니다. Ackerman 함수를 정의하기 위해 double recursion …

15 computability 

배경 함수 는 깊이 d의 회로를 학습하기 위해 무작위로 선택된 O ( 2 l o g ( n ) O ( d ) ) 를 요구하는 고전적인 알고리즘을 사용하여 준 다항식 시간에서 PAC를 학습 할 수있다 [1]. 더 존재하지 않는 경우 (2) N 개의 O ( 1 ) 인수 분해 …

15 quantum-computing  lg.learning  machine-learning  open-problem  ne.neural-evol 

비 기능화 는 고차 프로그램을 1 차 프로그램으로 변환하는 프로그램 변환입니다. 아이디어는 프로그램이 주어질 때, 람다-추상어가 아주 많기 때문에 각 람다를 id로, 각 함수 응용 프로그램을 해당 id에서 분기되는 적용 프로 시저에 대한 호출로 바꿀 수 있다는 것입니다. 이것은 때때로 함수형 언어를위한 컴파일러에서 사용 되지만, 기능 해제는 전체 프로그램 변환 …

15 pl.programming-languages  compilers 

모듈 식 분해 및 클릭 폭 그래프 에 대한 몇 가지 개념을 이해하려고 합니다. 에서는 본 논문 ( "P4-단정 그래프에서") 모듈을 분해하여 도당 번호 또는 유채색 번호 등 최적화 문제를 해결하는 방법의 증거가있다. G1과 G2에 대한 답을 알면 두 개의 그래프 G1, G2를 구성하여 (비 연합 또는 비 연합 사용) …

15 graph-theory  graph-algorithms  cliquewidth 

타격 세트 가족의 에스= { S1, … , S엔}에스={에스1,…,에스엔}\mathcal{S} = \{S_1, \dots, S_n\} 서브셋 인 HHH 의 이되도록 대 . 주어진 패밀리의 최소 타격 세트를 찾는 문제는 일반적으로 버텍스 커버 문제를 일반화하기 때문에 NP-hard입니다. 이제 내 질문은 : H ∩ S i ≠ ∅ 1 ≤ i ≤ n⋃엔나는 = …

15 cc.complexity-theory  np-hardness  approximation-hardness 

모듈 식 분해의 힘과 그 속성을 더 잘 이해하기위한 좋은 논문 / 책은 무엇입니까? 특히 모듈 식 분해의 알고리즘 측면에 관심이 있습니다. 선형 시간으로 그래프의 모듈 식 분해를 찾을 수 있다고 들었습니다. 비교적 간단한 알고리즘이 있습니까? 그렇게 효율적이지 않지만 간단한 알고리즘은 어떻습니까?

15 ds.algorithms  reference-request  graph-theory  graph-algorithms 

일부 배경 : Łukasiewicz 다치 논리는 모달 논리로 의도되었으며 Łukasiewicz는 모달 연산자 의 확장 정의를 제공했습니다. ◊ A =디전자 f¬ A → A◊ㅏ=디이자형에프¬ㅏ→ㅏ\Diamond A =_{def} \neg A \to A (Tarski의 속성) 이것은 몇 가지 역설적으로, 이상한 모달 논리를 제공 겉으로는 터무니없는 정리하는 경우, 특히 ( ◊ A ∧ ◊ B …

15 reference-request  lo.logic  proof-theory  linear-logic  modal-logic