equivalence-classes

    11

    1답변

    오토 마톤 알고리즘의 경우, 기능적 언어로 빠른 Union-Find 데이터 구조가 필요합니다. 데이터 구조의 정확성을 공식적으로 입증해야하므로 간단한 구조를 선호합니다. 내가하려고 시도한 것은 S w.r.t. 요소의 등가 클래스를 계산하는 것입니다. 관계 R ⊆ S × S. 최종적으로 나가기를 원하는 것은 S의 요소를 R 동급 클래스의 (정식) 대표자로 매

    4

    2답변

    gnu awk가 POSIX equivalence classes을 지원합니까? grep에서와 같이 [[= a =]]를 awk를 사용하여 일치시킬 수 있습니까? $ echo ábÅ | grep [[=a=]] ábÅ $ echo ábÅ | grep -o [[=a=]] á Å

    7

    0답변

    자바는 Comparator<T> 클래스를 외부의 객체 비교를 제공하여 비교를 수행하는 복수/대체 방법을 허용합니다. 는 그러나 정렬되지 않은 비교를하는 유일한 표준 방법은 클래스 내 equals()을 무시하는 것입니다. 여러 외부 정렬되지 않은 비교를 제공하려면 어떻게해야합니까? (명백한 유스 케이스는 특정 속성에 기초하여 등가 클래스로 컬렉션을 구획한다.

    0

    1답변

    나는이 주제를 이해하려고 노력하고 있으며, 아주 기본적인 하나 (이산 도메인이 아닌)로 시작하고있다. 나는 이것이 정확하지 않다고 생각한다. Income is greater than 0 and lesser than 500 = tax 0 Income is greater than 500 and lesser than 1300 = tax 30 Income is

    1

    1답변

    어이 남자는 소프트웨어 테스트 모듈을 가지고 있으며 곧 끝날 예정이지만 약간의 문제가있어 그 중 일부를 머리에 새기고 작년에 묻는 질문은 입니다. 큰 운동 단체는 회의에 전화하기 위해 이메일 시스템에 추가 기능을 사용합니다. 날짜 + 기간 + 위치 + : 그렇게 만 할 수있는 권한이 회원은 회의를 소집하기 위해 제목 줄에 다음과 같은 데이터가 포함 된 이메