Sziasztok!
Hogyan lehet SICStus 3.12.2 -ben hatástalanítani azt a feature-t, hogy a
10-nél hosszabb listákat a tizedik elem után nem írja ki? Ugye ezt
speciel nem tanultuk DP-ből? :)
És ha már írok, megkérdezem azt is, hogy van-e lehetőség arra a
SICStusban, hogy ne kérdezze meg minden megoldás után, hogy kérek-e még
újabb megoldást, hanem egyszerűen listázza ki az összeset? Még nem
másztam bele eléggé a problémába, lehet, hogy egy kicsit okosabb
programmal nem merülne fel ilyesmi, mindenesetre hátha nem annyira alap
a kérdés, felteszem :)
BÚÉK
GTZ
____________________________________________________________________
4000 Ft+Afa uti a markodat! Minden uj, altalad beszervezett elofizetoert ennyit irunk
jova ADSL elofizetesed dijabol. Regisztralj!
Reszletek: www.freestart.hu
MrD <mrdiablox(a)gmail.com> writes:
> Most az alábbi furcsaságra lettem figyelmes (persze majd mondod, hogy ha
> figyeltem volna órán... :) ).
> Pedig próbáltam keresni a .pdf-ben, de nem találtam rá a választ.
>
> Az alábbi két sor nem ugyanaz:
>
> X+Y #= 10.
> R=X+Y, R#=10.
>
> Speciel a második egy error, ami nekem nem tûnik kimondottan deklaratívnak,
> és csak úgy tudnám elképzelni, ha csinál valamit fordítási idõben
> "#="-vel.
Igen, ezt magyarazom a 75-76. foliakon.
> Végülis megoldottam a sum/3-al a dolgot, de azért érdekelne, hogy miért.
A 67. folian bukkan fel egy hasonlo problema, ott jon elo az univerzalis
megoldas: a fordítási ideju kifejtes kesleltetese call/1-be agyazassal.
Igy tehat:
R=X+Y, call(R#=10).
ugyanaz mint X+Y #= 10.
-SzP
Ui. Attila, remelem nem banod hogy a listara is elkuldom a valaszt, hogy
masok is okulhassanak belole...
Kedves Péter!
A nagy házi feladat teszteléséhez szükségem lenne a keretprogramra, de azt
sem az NLP, sem a tavalyi DP oldalról nem tudtam letölteni, kérlek tedd fel
valahova, vagy küldd el nekem levélben.
Köszönöm,
Cserbák Márton
Kedves NLP-sek!
Szeretnem felhivni a figyelmeteket egy a CLP-hez kapcsolodo erdekes
eloadasra, amely holnap, az NLP eloadas utan lesz. Kulonosen azok szamara
ajanlom, akik ereznek egy kis affinitast a grafelmelet/kombinatorika
terulet irant. A reszleteket lasd alabb.
Udv
Szeredi Peter
---------------------------------------------------------------------------
Az eloadas ideje december 6, 14.30-16.00, helye I. epulet 134.
---------------------------------------------------------------------------
Title of the talk: Graph-Based Filtering
Presentation : N. Beldiceanu, Ecole des Mines de Nantes, Franciaország
Joint work with : M. Carlsson, T. Petit, J.-X. Rampon, G. Rochart, C. Truchet
http://www.emn.fr/x-info/ppc/team.htmlhttp://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Beldiceanu:Nico…
Abstract
Over the past 20 years global (combinatorial) constraints have gradually
been introduced within the area of constraint programming for dealing with
concrete problems. Efficient filtering algorithms, usually based on graph
theory, were developped in an ad-hoc way for each global constraint.
This talk presents a systematic approach which aims at providing generic
filtering algorithms for global constraints. Given a specification of a
global constraint C in terms of graph properties, we show how to derive a
filtering algorithm for C (i.e., check feasibility and eliminate infeasible
choices). For this purpose we present three complementary methods:
(1) The first method is based on the bounds of the graph properties used in
the description of a global constraint. We provide lower and upper
bounds for frequently used graph properties (number of arcs, vertices,
connected components, strongly connected components, sinks).
(2) The second method shows how to determine the status of vertices and
arcs of an intermediate digraph so that the final digraph does not
contain more than (resp. does no contain less than) a given fixed
number of arcs, vertices, connected components, strongly connected
components, or sinks.
(3) The third method presents a database of about 200 graph invariants for
deriving systematically necessary conditions when a global constraint
is defined by more than on graph property.
We conclude with different questions raised by this approach.
