-
X-Received: by 2002:a37:f11:: with SMTP id z17-v6mr386490qkg.6.1532541909442; Wed, 25
Jul 2018 11:05:09 -0700 (PDT)
X-Received: by 2002:a37:f11:: with SMTP id z17-v6mr386490qkg.6.1532541909442; Wed, 25
Jul 2018 11:05:09 -0700 (PDT)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.unit
0.net!newsreader4.netcologne.de!news.netcologne.de!peer01.ams1!peer.ams1.xlned.
com!news.xlned.com!peer01.am4!peer.am4.highwinds-media.com!peer01.iad!feed-me.h
ighwinds-media.com!news.highwinds-media.com!e8-v6no953630qtp.0!news-out.google.
com!j7-v6ni365qth.1!nntp.google.com!e8-v6no953629qtp.0!postnews.google.com!gleg
roupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Wed, 25 Jul 2018 11:05:09 -0700 (PDT)
In-Reply-To: <pite6r$6mv$1@node2.news.atman.pl>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=217.97.68.222;
posting-account=VFwkXwoAAADdT4-lLKRZrMYkTjizGoyn
NNTP-Posting-Host: 217.97.68.222
References: <piqoim$f79$1@node1.news.atman.pl>
<7...@g...com>
<piquap$kts$1@node1.news.atman.pl> <pis4g0$p6q$1$gof@news.chmurka.net>
<pite6r$6mv$1@node2.news.atman.pl>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e...@g...com>
Subject: Re: Szybkie znalezienie zestawu bramek w obwodzie
From: Wojciech Muła <w...@g...com>
Injection-Date: Wed, 25 Jul 2018 18:05:09 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2569
X-Received-Body-CRC: 1858720951
Xref: news-archive.icm.edu.pl pl.comp.programming:212597
[ ukryj nagłówki ]On Friday, July 20, 2018 at 9:46:36 PM UTC+2, Borneq wrote:
> W dniu 20.07.2018 o 09:54, Adam Wysocki pisze:
> > W technikum robiliśmy to metodą Karnaugha.
> >
> > https://pl.wikipedia.org/wiki/Metoda_Karnaugha
>
> Dzięki za namiar, są dwie metody, to znaczy jedna odmiana tej samej do
> ręcznego a druga do maszynowego obliczenia.
> Czas wykładniczy i dokładne rozwiązanie, podstawa 3 ro zawsze nie
> kilkaset. Poza tym wzmiankowana jest metoda niedokładna heurystyczna,
> szybsza Espresso.
>
> Pytanie - a jak zrobić pierwsze przybliżenie, które będziemy
> optymalizować? Z tego filmiku? czyli wiele AND i OR a może odwrotnie?
Można zapisać funkcję logiczną w postaci BDD, a potem
z BDD przejść na jedną z postaci normalnych (DNF albo CNF)
i już z tego masz obwód.
BDD są dobre, jak masz dużo zmiennych, nawet tysiące.
Chociaż są takie przypadki funkcji, dla których BDD wybucha
pamięciowo.
w.
Najnowsze wątki z tej grupy
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
Najnowsze wątki
- 2024-12-12 Warszawa => Administrator Bezpieczeństwa IT <=
- 2024-12-12 Ostrów Wielkopolski => Trener zespołu sprzedaży Call Center <=
- 2024-12-12 Kraków => Key Account Manager <=
- 2024-12-11 SEP 1 kV E
- 2024-12-11 DNS restrictions are on
- 2024-12-11 wielkie bu
- 2024-12-11 Białystok => Inżynier bezpieczeństwa aplikacji <=
- 2024-12-11 Aku LiPo źródło dostaw - ktoś poleci ?
- 2024-12-11 Warszawa => Specjalista Bezpieczeństwa Informacji <=
- 2024-12-11 Wrocław => Application Security Engineer <=
- 2024-12-11 Warszawa => Analyst in the Trade Development department (experience wi
- 2024-12-11 Lublin => Programista Delphi <=
- 2024-12-11 Motodziennik #305 Nowy ELEKTRYK za 350 złotych miesięcznie? Kreatywne kredytowanie problemów
- 2024-12-11 Warszawa => Spedytor Międzynarodowy <=
- 2024-12-11 Katowice => Key Account Manager (ERP) <=