-
Path: news-archive.icm.edu.pl!news.gazeta.pl!newsfeed.pionier.net.pl!pwr.wroc.pl!news
.wcss.wroc.pl!not-for-mail
From: Mirek <p...@d...zind.ikem.pwr.wroc.pl>
Newsgroups: pl.comp.programming
Subject: Re: Ile elementów mniejszych od ...
Date: Thu, 12 Mar 2009 09:01:14 +0000 (UTC)
Organization: WUT
Lines: 34
Message-ID: <gpaj0q$dti$1@z-news.wcss.wroc.pl>
References: <gohlec$nn0$1@z-news.wcss.wroc.pl> <gohppp$efr$1@news.onet.pl>
NNTP-Posting-Host: infrared.zind.ikem.pwr.wroc.pl
X-Trace: z-news.wcss.wroc.pl 1236848474 14258 156.17.14.223 (12 Mar 2009 09:01:14
GMT)
X-Complaints-To: a...@n...pwr.wroc.pl
NNTP-Posting-Date: Thu, 12 Mar 2009 09:01:14 +0000 (UTC)
User-Agent: tin/1.9.3-20080506 ("Dalintober") (UNIX) (Linux/2.6.26-1-686 (i686))
Xref: news-archive.icm.edu.pl pl.comp.programming:181360
[ ukryj nagłówki ]On wto, 03 mar 2009 00:23:34 in article news:<gohppp$efr$1@news.onet.pl>
bartekLTG wrote:
> Mirek wrote:
>> Definicja jest jednoznaczna/niesprzeczna, tzn. jeżeli
>> dla danych i1,i2 istnieją powyższe j1,j2, to nie istnieją
>> k1, k2 takie, że zachodzi relacja odwrotna e[i1,k1] > e[i2,k2].
>
> Napewno?
Napewno nie - ale chodziło o to, że w zadanym zbiorze tak.
Ale pomińmy szczegóły dotyczące tej relacji. Sformułuję ten
problem inaczej.
Dane są:
- Poset P={p}
- Uporządkowany zbiór kluczy K={k}
- Moce P i K spełniają warunek: #P > #K
- Istnieje pewne przyporządkowanie P na K: f(p)=k takie, że:
- jeżeli f(pa)=f(pb) to pa i pb nie są porównywalne
- jeżeli f(pa)<f(pb) to pa i pb nie są porównywalne lub pa<pb
Pytanie brzmi, jak dla danego kj efektywnie wyznaczyć moc
zbioru {ki<kj}, spełniając dodatkowo warunek:
istnieją pa i pb: f(pa)=ki & f(pb)=kj & pa<pb
Pozdrawiam
PS
Ten problem jak nocna zmora wraca do mnie co kilka tygodni ;)
Następne wpisy z tego wątku
Najnowsze wątki z tej grupy
- 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
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-05-20 Fiat 125p wer. pikup - w PRL moszna było, w III Reczy [pospolitej] nie moszna
- 2024-05-19 Pożar salonu z chińskimi elektrykami
- 2024-05-18 LED
- 2024-05-19 ceny nieruchomości
- 2024-05-18 Szczecin => UX/UI Designer <=
- 2024-05-18 Warszawa => Mid PHP Developer (Laravel) <=
- 2024-05-18 Warszawa => Software .Net Developer <=
- 2024-05-18 Warszawa => Mid/Senior QA Engineer <=
- 2024-05-18 Ulm => Solution Architect (sichere Kommunikation und IoT-Loesungen <=
- 2024-05-18 Katowice => Head of Virtualization Platform Management and Operating S
- 2024-05-18 Warszawa => SAP WM Consultant / Execution <=
- 2024-05-18 Wrocław => Consultant/Implementer Comarch ERP XL <=
- 2024-05-18 Gdańsk => Head of International Freight Forwarding Department <=
- 2024-05-18 Warszawa => Account Manager (Recruitment Services) <=
- 2024-05-18 Łódź => Salesperson - CRM Systems <=