언어 사양으로 DFA가 있더라도 정규 표현식의 크기를 최소화하는 것은 PSPACE- 완전한 것으로 알려져 있습니다 . 언어가 유한하면 결과는 무엇입니까? 두 가지 모델에서이 문제를 고려할 수 있습니다. 입력은 언어의 모든 문자열이며 모든 문자열의 길이의 합으로 입력 크기를 측정합니다. 입력은 DFA이며 DFA 상태 수에 따라 입력 크기를 측정합니다. Kleene 별은 유한 경우에 …
편집 : 일주일 동안 아무런 답변 / 의견을받지 못했기 때문에 문제에 대해 듣고 싶다고 덧붙이고 싶습니다. 나는 그 지역에서 일하지 않기 때문에 간단한 관찰이지만 그것을 알지 못할 수도 있습니다. "나는 그 지역에서 일하지만 이런 특성을 보지 못했다"와 같은 의견조차 도움이 될 것입니다! 배경: 학습 이론 (예 : PAC 학습, 온라인 …
세트 와 B가 주어지면 ,이 둘 사이의이기 능 관계 ( ∼ ) ⊆ A × B 는 다음 특성을 만족하는 관계로 정의됩니다.ㅏㅏA비비B ( ∼ ) ⊆ A × B(∼)⊆ㅏ×비(\sim) \subseteq A \times B 만약 ~ B 와 ' ~ B ' 와 ~ B ' 다음은, ' ~ 나 . …
동일한 객체가 제품과 보조 제품 모두 인 경우 카테고리에는 2 등분 이 있습니다. 부산물이있는 카테고리의 증거 이론을 조사한 사람이 있습니까? 가장 잘 알려진 예는 직접 합과 직접 곱 구성이 동일한 벡터 공간을 제공하는 벡터 공간 범주입니다. 이것은 벡터 공간과 선형 맵이 선형 로직의 약간 퇴화 된 모델이라는 것을 의미하며,이 퇴화를 …
실제로 두 가지 질문이 있습니다. 의미론과 관련하여 누가 논리적 관계를 처음 사용 했습니까? 나는 그것들을 Reynold의 " 직접과 연속 의미론의 관계에 관한 것 "으로 거슬러 올라갔지 만 철저한 검색을했다고 주장 할 수는 없다. 나는 이전에 데이트 한 논리적 관계 (Tait, '67)에 대한 언급을 찾았지만 의미론과 관련이 없다. 논리적 관계에 대한 …
제목 용어를 매우 느슨하게 사용합니다. 수학적 기초를 포함하여 진화 게임 이론에 대한 많은 연구가 있습니다. 나는 "진화적인 게임과 인구 역학"을 추천 받았지만 아직 그것을 탐구하지는 않았습니다. 이 사이트에서 인기있는 주제 인 알고리즘 게임 이론에 대한 많은 작업도 있습니다. 내가보고 싶은 것은 특정 진화 역학에 대한 계산 복잡성 또는 수렴 진술을 …
모듈 식 분해의 힘과 그 속성을 더 잘 이해하기위한 좋은 논문 / 책은 무엇입니까? 특히 모듈 식 분해의 알고리즘 측면에 관심이 있습니다. 선형 시간으로 그래프의 모듈 식 분해를 찾을 수 있다고 들었습니다. 비교적 간단한 알고리즘이 있습니까? 그렇게 효율적이지 않지만 간단한 알고리즘은 어떻습니까?
일부 배경 : Łukasiewicz 다치 논리는 모달 논리로 의도되었으며 Łukasiewicz는 모달 연산자 의 확장 정의를 제공했습니다. ◊ A =디전자 f¬ A → A◊ㅏ=디이자형에프¬ㅏ→ㅏ\Diamond A =_{def} \neg A \to A (Tarski의 속성) 이것은 몇 가지 역설적으로, 이상한 모달 논리를 제공 겉으로는 터무니없는 정리하는 경우, 특히 ( ◊ A ∧ ◊ B …
Banach의 고정 소수점 정리는 비어 있지 않은 완전한 미터법 공간 있으면 균일하게 수축하는 함수 는 고유 한 고정 소수점 갖습니다 . 그러나,이 정리의 증거는 선택의 공리가 필요합니다. 우리는 에서 반복을 시작하기 위해 임의의 요소 를 선택해야 합니다. Cauchy 시퀀스 입니다. F : → μ ( F ) ∈ F , …
" FPH에 대한 응용 이론 "논문을 읽을 때 다음과 같은 구절이 발생할 수 있습니다. 계산 복잡성의 클래스를 특징 짓는 이론을 고려할 때 세 가지 다른 접근 방식이 있습니다. 하나는 이론 내에서 정의 될 수있는 기능은 특정 복잡성 클래스 내에서 "자동"입니다. 이러한 계정에서는 구문이 적절한 클래스에 머 무르도록 제한되어야합니다. 이로 인해 …
암호화를위한 의사 난수 생성에 관심이 있습니다. Menezes / Oorschot / Vanstone의 5 장 외에 ; Stinson의 8 장 ; 그리고 Goldreich의 3 장 , 다른 곳에서 더 찾을 수 있습니까? PRNG (원하는 특성, 테스트 등)를 설계하기위한 일반적인 원칙에 관심이 있습니다.