mainNI - Summary

 
 
Membership Info
Group Admin:
1 active member

Group identification
Id: 8349
System Name: not-intractable
Name: NI
Group Type: non-GNU software and documentation

Search in this Group


 

This group is not part of the GNU Project.

NI is a program capable of computing truth tables for boolean functions involving hundreds of variables. Computations like these are usually considered intractable, but many are not-intractable with the algorithm used in NI (hence the acronym).

Many problems in boolean algebra require computing truth tables, but as the number of variables increases, the size of a truth table increases exponentially (For N variables, the truth table is 2^N in size). Problems involving hundreds of variables are commonly considered intractable, since we lack the storage space and processing power to handle truth tables of that size.

A truth table in NI, however, is represented in such a way that it only increases in size as the complexity of the function increases, not as the number of variables increases. Although it is still possible to come across a problem that cannot be solved in a reasonable amount of time using NI, the amount of time needed is no longer directly related to the number of variables.

Registration Date: Thu 09 Feb 2006 08:36:26 PM UTC
License: GNU General Public License v2 or later
Development Status: 2 - Pre-Alpha

 

Latest News rss feed

No news found

Quick Overview
 Memberlist (1 member)

Communication Tools
 Mailing Lists (0 public mailing lists)

Development Tools
 Task Manager (open items: 0, total: 0)
 Patch Manager (open items: 0, total: 0)

Back to the top

Powered by Savane 3.13-4448.
Corresponding source code