Skip to main content
Computer Science

Return to Question

Tweeted twitter.com/StackCompSci/status/710973092957462528
deleted 1 character in body; edited tags
Source Link
D.W. ♦
D.W. ♦
  • 165.6k
  • 21
  • 230
  • 490

So I have come across an issue where it would be very nice to solve systems of linear equations over semirings but I have no clue how to do that. Over a field I would use Gaussian elimination buybut I'm at a loss of how to find solution spaces to even rings much less semirings. In fact I'm not 100% sure this is decidable. The problem demands that I be able to do this for a wide class of semirings (preferably all) and not just 1 specific kind.

Are systems of linear semireingsemiring equations decidable? If so what algorithms are known to compute solutions for them?

So I have come across an issue where it would be very nice to solve systems of linear equations over semirings but I have no clue how to do that. Over a field I would use Gaussian elimination buy I'm at a loss of how to find solution spaces to even rings much less semirings. In fact I'm not 100% sure this is decidable. The problem demands that I be able to do this for a wide class of semirings (preferably all) and not just 1 specific kind.

Are systems of linear semireing equations decidable? If so what algorithms are known to compute solutions for them?

So I have come across an issue where it would be very nice to solve systems of linear equations over semirings but I have no clue how to do that. Over a field I would use Gaussian elimination but I'm at a loss of how to find solution spaces to even rings much less semirings. In fact I'm not 100% sure this is decidable. The problem demands that I be able to do this for a wide class of semirings (preferably all) and not just 1 specific kind.

Are systems of linear semiring equations decidable? If so what algorithms are known to compute solutions for them?

clarified things a bit and mentioned that the systems of equations are linear
Source Link
Jake
Jake
  • 3.8k
  • 20
  • 35

Solving systems of linear equations over semirings

So I have come across an issue where it would be very nice to solve systems of linear equations over semirings but I have no clue how to do that. Over a field I would use Gaussian elimination buy I'm at a loss of how to find solution spaces to even rings much less semirings. In fact I'm not 100% sure this is decidable. The problem demands that I be able to do this for a wide class of semirings (preferably all) and not just 1 specific kind.

Are systems of linear semireing equations decidable? If so what algorithms are known to compute solutions for them?

Solving systems of semirings

So I have come across an issue where it would be very nice to solve systems of equations over semirings but I have no clue how to do that. Over a field I would use Gaussian elimination buy I'm at a loss of how to find solution spaces to even rings much less semirings. In fact I'm not 100% sure this is decidable.

Are systems of semireing equations decidable? If so what algorithms are known to compute them?

Solving systems of linear equations over semirings

So I have come across an issue where it would be very nice to solve systems of linear equations over semirings but I have no clue how to do that. Over a field I would use Gaussian elimination buy I'm at a loss of how to find solution spaces to even rings much less semirings. In fact I'm not 100% sure this is decidable. The problem demands that I be able to do this for a wide class of semirings (preferably all) and not just 1 specific kind.

Are systems of linear semireing equations decidable? If so what algorithms are known to compute solutions for them?

Source Link
Jake
Jake
  • 3.8k
  • 20
  • 35

Solving systems of semirings

So I have come across an issue where it would be very nice to solve systems of equations over semirings but I have no clue how to do that. Over a field I would use Gaussian elimination buy I'm at a loss of how to find solution spaces to even rings much less semirings. In fact I'm not 100% sure this is decidable.

Are systems of semireing equations decidable? If so what algorithms are known to compute them?