This ending proved unpopular and Ibsen later regretted his decision on the matter.

The Cook – Levin theorem states that the Boolean satisfiability problem is NP-complete, and in fact, this was the first decision problem proved to be NP-complete.

By 1990, after efforts by Wendy's agency, Backer Spielvolgel Bates, to get humor into the campaign, a decision was made to portray Thomas in a more self-deprecating and folksy manner, which proved much more popular with test audiences.

( Leopold's decision proved highly controversial.

This proved to be a hasty decision, for they were on the wrong side of the Tigris with no clear means of retreat and the Persians had begun to harass them from a distance, burning any food in the Romans ' path.

Despite an all-star cast ( including Neve Campbell and Matthew Modine ) and the pedigree of Miller's script, Spacey's decision to lure Altman to the stage proved disastrous: after a fraught rehearsal period, the play opened to a critical panning, and closed after only a few weeks.

In these circumstances the decision to propose Robinson proved to be politically inspired.

Then Fischer and Rabin ( 1974 ) proved that any decision algorithm for Presburger arithmetic has a worst-case runtime of at least, for some constant c > 0.

Hence, the decision problem for Presburger arithmetic is an example of a decision problem that has been proved to require more than exponential run time.

On the other hand, a triply exponential upper bound on a decision procedure for Presburger Arithmetic was proved by Oppen ( 1978 ).

:" We were justified intuitionistically in using the classical 2-valued logic, when we were using the connectives in building primitive and general recursive predicates, since there is a decision procedure for each general recursive predicate ; i. e. the law of the excluded middle is proved intuitionistically to apply to general recursive predicates.

By doing so the victorious Spartans proved to be the most clement state that fought Athens and at the same time they turned out to be its saviour as neither Corinth nor Thebes at the time could challenge their decision.

Implementing the Council's decision, Pope Pius V promulgated, in the Apostolic Constitution Quo Primum on 14 July 1570, an edition of the Roman Missal that was to be in obligatory use throughout the Latin Church except where there was a traditional liturgical rite that could be proved to be of at least two centuries ’ antiquity.

Charles's decision to wait in the end proved crucial, as it forced the Umayyads to rush uphill and through woods, negating to a large degree the lethality of a cavalry charge.

An extended search for an anchorage at King Edward VII Land proved equally fruitless, so Shackleton was forced to break his undertaking to Scott and set sail for McMurdo Sound, a decision which, according to second officer Arthur Harbord, was " dictated by common sense " in view of the difficulties of ice pressure, coal shortage and the lack of any nearer known base.

Mikawa's decision not to attempt to destroy the Allied transport ships when he had the opportunity proved to be a crucial strategic mistake.

But his decision proved successful, forcing an imperial retreat to protect the defenseless residence of Jianwen.

The casting of John Malkovich proved to be a controversial decision that divided critics.

This decision proved fatally flawed.

Becerra proved too experienced for the young Sánchez, the bout ended in a split decision defeat for Sánchez.

Howard Davis Jr proved more of a challenge — he led Rosario on all scorecards with ten seconds remaining in the bout, but was dropped by Rosario and lost a split decision.

Hal Jordan disagreed with this selection upon seeing Stewart's apparently belligerent attitude, but the Guardians stood by the decision and the recruit quickly proved himself.

The scion of a once prominent Central Florida political family, Bragg is a former active duty U. S. Army infantry officer and Korean War veteran whose own foray into public life was a run for the Florida State Legislature which proved disastrous because of his open support for racial desegregation based on the Supreme Court decision in Brown v. Board of Education.

The initial decision to create this organisation came about after Stephens consulted, through special emissary Joseph Denieffe, with John O ' Mahony and Michael Doheny, members of a precursor group called the Emmet Monument Association.

That is why it is so very important that ethical analysis keep clear the problem of decision as to `` permitted '' effects, and not draw back in fright from any conceivable contingency or suffer paralysis of action before possibilities or probabilities unrelated, or not directly morally related, to what we can and may and must do as long as human history endures.

* the likely consequences of any decision in the long term

( b ) The reasons given for a decision are often more important in the long run than the outcome in a particular case.

Katayama was made Vice President of the Nissan North American subsidiary in 1960, and as long as he was involved in decision making, both as North American Vice President from 1960 to 1965, and then President of Nissan Motor Company – USA from 1965 to 1975, the cars were sold as Datsuns.

Although the reasons for Saddam Husayn's decision to invade Iran were complicated, the leaders of the Baath Party had long resented Iranian hegemony in the Persian Gulf region and had especially resented the perceived Iranian interference in Iraq's internal affairs both before and after the 1979 Islamic Revolution.

It has been suggested that this may have actually been a strategic decision by Richard rather than a failure as such, as he may have recognized that Jerusalem in particular was in fact a strategic liability as long as the crusaders were obligated to defend it, as it was isolated from the sea where Western reinforcements could arrive.

How long this " timeout " should be is a decision that requires a trade-off between availability and security that will have to be decided in advance, at the time of system design.

Stuyvesant's decision was rescinded after pressure from the directors of the Dutch West India Company ; as a result, Stuyvesant allowed Jewish immigrants to stay in the colony as long as their community was self-supporting, but – with the support of the company – forbade them to build a synagogue, forcing them to worship in a private house.

The decision not to rename the Reichstag building was taken only after long debate in the Bundestag ; even then, it is described officially as ( Reichstag, seat of the Bundestag ).

It has yet to be revealed whether this had any bearing on the decision to cancel the program since Voyager was offered to syndication midway through its run with no impact on its network status, and TNG, DS9, and Voyager all saw episodes released to home video during their runs, long before those series ended.

In the special edition DVD, Michael Chapman, the film's cinematographer, regrets the decision and the fact that no print with the unmuted colors exists anymore, as the originals had long since deteriorated.

Florence's father was incensed by his daughter's decision to marry Harding, prohibited his wife from attending the wedding ( she sneaked in long enough to see the vows exchanged ) and refused to speak to his daughter or son-in-law for eight years.

Although Emperor Theodosius had long been a staunch supporter of Nestorius, his loyalty seems to have been shaken by the reports from Cyril's council and caused him to arrive at the extraordinary decision to ratify the depositions decreed by both councils.

Later, non-vessel-operating common carriers won a long court battle with a U. S. Supreme Court decision against contracts that attempted to require that union labor be used for stuffing and stripping containers at off-pier locations.

The military press censor at SHAEF made a mistake and allowed the Cowan cable to go out starting with " Allied air bosses have made the long awaited decision to adopt deliberate terror bombing of great German population centres | date = September / October 1996 | url = http :// www. legionmagazine. com / en / index. php / 1996 / 09 / the-bomber-command-offensive / | title = The Bomber Command Offensive | publisher = originally published in the Legion Magazine

Desegregation was long a focus of the American Civil Rights Movement, both before and after the United States Supreme Court's decision in Brown v. Board of Education, particularly desegregation of the school systems and the military ( See Military history of African Americans ).

The long standing territorial dispute with Qatar over the Hawar Islands and the maritime boundary were resolved in 2001 by a compromise decision of the International Court of Justice ( ICJ ).

Orosius succeeded only in obtaining John's consent to send letters and deputies to Pope Innocent I of Rome ; and, after having waited long enough to learn the unfavourable decision of the Synod of Diospolis ( Lydda ) in December of the same year, he returned to North Africa,

For example, the naive Bayes classifier will make the correct MAP decision rule classification so long as the correct class is more probable than any other class.

Scholars have advanced several explanations to resolve the puzzle of why Peel made the seemingly irrational decision to sacrifice his government to repeal the Corn Laws, a policy which he had long opposed.

However, the decision relied on Unix's ability to pass long argument lists efficiently through the exec system call that csh uses to create child processes.

Not long after this decision, MGM Records folded due to economic difficulties.

Serrano, owner of long arms, began his career on October 29, 1969 with a four round decision win over Ramon Laureano.

When Indian Hills merged with neighboring cities in 1999, the sewer issue was described as illustrating a long period from the 1950s to the 1980s when Indian Hills residents identified strongly with their independence from Louisville, but that period ended in 1995 with the sewer decision.