Jonny007-MKD/NB6_Hazards
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Algorithmus, der GetHazards() aufruft implementiert

Browse source 
Schleife, welche die Zellen iteriert und für jede GetHazards() aufruft.
Wenn ein oder mehrere Hazards gefunden wurden, werden PrimImplikanten
der PrimImplikantenCollection hinzugefügt, um den Hazards zu beheben.
Dies wirkt sich allerdings nicht auf die PrimImplikanten in den Zellen
aus, weshalb Hazards doppelt gefunden werden können! Außerdem ist das
hinzufügen eines nur 2fachen PrimImplikanten mitunter nicht optimal.

Zwei Optimierungen wurden eingebaut: "Schachbrett" und "Überspringe
Nullen". Hierdurch wird die Geschwindigkeit mehr als verdoppelt.
This commit is contained in:
Jonny007-MKD 2013-11-14 14:58:00 +01:00
parent 8d82eb87e4
commit 264b46172a
1 changed files with 44 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

44
Hazard/Hazard/Hazard.cpp
View file

@ -80,14 +80,58 @@ int _tmain(int argc, _TCHAR* argv[])
cout << endl;
}*/
// initialize Cells
vector<Cell*> cells;
cells.resize(numElements);
unsigned int numOnes = 0;
for (unsigned int i = 0; i < numElements; i++)
{
cells[i] = new Cell(i, globalPIC);
printf("Pos %2d: %d\n", i, cells[i]->value);
if (cells[i]->value)
numOnes++;
}
// find hazards
if (numOnes > numElements / 2) // we have more 1 than 0 --> checkerboard --> 50% of cells are checked
{
for (unsigned int i = 0; i < numElements; i++)
{
cout << "\nSchachbrettmuster\n";
unsigned int grayI = i ^ (i/2); // transform to gray code
vector<Cell*> hazardousNeighbors = cells[grayI]->GetHazards();
if (hazardousNeighbors.size() == 0) // we found no hazard
continue;
for (vector<Cell*>::iterator c = hazardousNeighbors.begin(); c < hazardousNeighbors.end(); c++)
{
printf("Hazard found! Cell %d <--> Cell %d\n", grayI, (*c)->index);
globalPIC->add(grayI, (*c)->index); // add PI that solves hazard. Not quite smart...
}
}
}
else // less 1 than 0 --> only check every 1 --> less than 50% (numOnes/numElements) of cells are checked
{
for (unsigned int i = 0; i < numElements; i++)
{
cout << "\nÜberspringe Nullen\n";
if (!cells[i]->value)
continue;
vector<Cell*> hazardousNeighbors = cells[i]->GetHazards();
if (hazardousNeighbors.size() == 0) // we found no hazard
continue;
for (vector<Cell*>::iterator c = hazardousNeighbors.begin(); c < hazardousNeighbors.end(); c++)
{
printf("Hazard found! Cell %d <--> Cell %d\n", i, (*c)->index);
globalPIC->add(i, (*c)->index); // add PI that solves hazard. Not quite smart...
}
}
}
system("pause");
return 0;
}